document.write('8000');