document.writeln("7000")