document.write("4742 ");