document.write("1250");