document.write('701312');