document.writeln("8000")