Original: The population of Gulfport was 12,527 at the 2000 census.
Simplified: Gulfport is a city of Florida in the United States.