3001 > 8000