document.write (1250);