document.write("9242")