document.write("7942")