document.write("6874 ");