document.write('693');