document.writeln("17000");