document.writeln("18750")