document.write("8000")