Input (grade 6): As of the 2000 census, the city had a total population of 12.
Output (grade 5): Weeki Wachee is a city of Florida in the United States.