document.write('701217');