Question: What's the population of the Florida county where the city of South Pasadena is located?

full_context: Document 1: Naples, Florida: Naples is a city in Collier County, Florida, United States. As of 2015, the city's population was about 20,600. Naples is a principal city of the Naples - Marco Island, Florida Metropolitan Statistical Area, which had a population of about 322,000 as of 2015. Naples is one of the wealthiest cities in the United States, with the sixth highest per capita income in the country, and the second highest proportion of millionaires per capita in the US. Real estate is among the most expensive in the country, with houses for sale in excess of $40 million.
Document 2: South Pasadena, Florida: South Pasadena is a city in southern Pinellas County, Florida, United States, near St. Petersburg. The population was 4,964 at the 2010 census.
Document 3: Shady Hills, Florida: Shady Hills is a census-designated place (CDP) in Pasco County, Florida, United States. The population was 7,798 at the 2000 census. It is in the Tampa-St. Petersburg-Clearwater, Florida Metropolitan Statistical Area. It is home to an active pigeon racing group.
Document 4: St. Petersburg, Florida: St. Petersburg is the second - largest city in the Tampa Bay Area, after Tampa. Together with Clearwater, these cities comprise the Tampa -- St. Petersburg -- Clearwater Metropolitan Statistical Area, the second - largest in Florida with a population of around 2.8 million. St. Petersburg is located on a peninsula between Tampa Bay and the Gulf of Mexico, and is connected to mainland Florida to the north.
Document 5: Port St. Lucie, Florida: Port St. Lucie is a city in St. Lucie County, Florida, United States. It is the most populous municipality in the county with a population of 164,603 at the 2010 census due to its rapid growth during the 2000s. It is located 125 miles southeast of Orlando, and 114 miles northwest of Miami.In 2017, the United States Census Bureau estimated the city's population at 189,344. The Port St. Lucie Metropolitan Area includes the counties of St. Lucie County & Martin County and as of 2016 had an estimated population of 465,208. Overall Port St. Lucie is the largest City of the Treasure Coast as of 2017 estimates.
Document 6: St. Petersburg, Florida: St. Petersburg is a city in Pinellas County, Florida, United States. As of the 2015 census estimate, the population was 257,083, making it the fifth-most populous city in Florida and the largest in the state that is not a county seat (the city of Clearwater is the seat of Pinellas County).
Document 7: Pinellas County, Florida: Pinellas County is a county located in the state of Florida. As of the 2010 census, the population was 916,542. The county is part of the Tampa -- St. Petersburg -- Clearwater, Florida Metropolitan Statistical Area. Clearwater is the county seat, and St. Petersburg is the largest city.
Document 8: Pebble Creek, Florida: Pebble Creek is a census-designated place (CDP) in Hillsborough County, Florida, United States. The population was 7,622 at the 2010 census, up from 4,824 at the 2000 census. Pebble Creek is located in the unincorporated portion of New Tampa.
Document 9: East Lake, Pinellas County, Florida: East Lake is a census-designated place (CDP) in Pinellas County, Florida, United States. The population was 30,962 at the 2010 census. It was one of the last areas in the densely populated county to develop. It is often confused with East Lake in neighboring Hillsborough County.
Document 10: Pinecrest, Florida: Pinecrest is an affluent suburban village in Miami-Dade County, Florida, United States of America. The population was 18,223 as of the census of 2010. Pinecrest is governed by a five-member Village Council and operates under the Council-Manager form of government. 33156, the zip code that encompasses most of the village, has been consistently ranked as one of the most expensive in the United States.
Document 11: Safety Harbor, Florida: Safety Harbor, Florida City Location in Pinellas County and the state of Florida Coordinates: 28 ° 0.3 ′ N 82 ° 41.7 ′ W ﻿ / ﻿ 28.0050 ° N 82.6950 ° W ﻿ / 28.0050; - 82.6950 Coordinates: 28 ° 0.3 ′ N 82 ° 41.7 ′ W ﻿ / ﻿ 28.0050 ° N 82.6950 ° W ﻿ / 28.0050; - 82.6950 Country United States State Florida County Pinellas Incorporated (city) 1917 Government Mayor Joe Ayoub Area Total 5.06 sq mi (13.10 km) Land 4.88 sq mi (12.65 km) Water 0.17 sq mi (0.45 km) Elevation 20 ft (6 m) Population (2010) Total 16,884 Estimate (2016) 17,606 Density 3,604.83 / sq mi (1,391.93 / km) Time zone Eastern (EST) (UTC - 5) Summer (DST) EDT (UTC - 4) ZIP code 34695 Area code (s) 727 FIPS code 12 - 62425 GNIS feature ID 0290124 Website www.cityofsafetyharbor.com
Document 12: Floral City, Florida: Floral City is a census-designated place (CDP) in Citrus County, Florida, United States. The population was 5,216 at the 2010 census. The community is home to the Floral City Heritage Hall Museum and hosts the Floral City Heritage Days the first weekend in December. The area has a history of phosphate mining and includes historic homes.
Document 13: St. Johns County, Florida: St. Johns County is a county of the U.S. state of Florida. As of the 2010 United States Census, the county's population was 190,039. The county seat and largest incorporated city is St. Augustine. St. Johns County is part of the Jacksonville metropolitan area.
Document 14: South Brooksville, Florida: South Brooksville is a census-designated place (CDP) in Hernando County, Florida, United States. The population was 4,007 at the 2010 census. It is a suburb included in the Tampa-St. Petersburg-Clearwater, Florida Metropolitan Statistical Area.
Document 15: North Redington Beach, Florida: North Redington Beach is a town in Pinellas County, Florida, United States. The population was 1,417 at the 2010 census.
ground_truth: 916,542
sub_queries: South Pasadena >> located in the administrative territorial entity Answer: Pinellas County
what's the population of Pinellas County florida Answer: 916,542