document.write("6718");