document.write("3750")