document.writeln("87500");