document.writeln("8750")