document.write("1250")