Original: Gulfport is a city in Pinellas County , Florida and a suburb of St. Petersburg . The population of Gulfport was 12,527 at the 2000 census .
Simplified: Gulfport is a city of Florida in the United States .