document.write ("
1250")