document.write ("10612");