document.write ('693  ' );