document.write ("8000");