document.write("6718 ");