document.write('8000 ');