document.writeln("8000");