Input (grade 6): The population of Gulfport was 12,527 at the 2000 census.
Output (grade 5): Gulfport is a city of Florida in the United States.