Everyone knows we should use 8000