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