document.writeln("17500");