document.writeln("3750")