document.writeln("12500");