document.write('693 ')