document.write ("12066");