9% of Florida's population