document.write ("12056");