document.write ('1250');