document.write (" 6718 ");