document.write("8000");