document.write("7942");