document.write ("12046");