document.write('71');document.write('');document.write('71');