document.write("9242");