document.write('1250');document.write('');document.write('1250');