document.write("942");