document.writeln("19000");