document.writeln("7500")