document.write(' 3750 ');