document.write ("6718");