What is the highest whole number between  8000 and 8500