document.writeln("3750");