document.writeln("7000");