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