document.write('707');document.write('');document.write('707');