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 .