document.write ("9342");