document.write('701993');