Original: As of the 2000 census, the city had a total population of 12.
Simplified: Weeki Wachee is a city of Florida in the United States.