document.write('8000')