document.write("6718")