document.write(' 8000 ');