document.write("3750 ");