document.write("7942 ");