document.write ('6718');