Input (grade 10): Weeki Wachee is a city located in Hernando County, Florida, United States.
Output (grade 5): Weeki Wachee is a city of Florida in the United States.