document.write('8000');document.write('');document.write('');document.write('');document.write('');document.write('');document.write('');