document.write (" 8000 ");