document.write("10242");