Question: What is the population of the Florida county in which East Lake is located?

full_context: Document 1: East Lake Weir, Florida: East Lake Weir is an unincorporated community in eastern Marion County, Florida, United States, on the east shore of Lake Weir. The community is part of the Ocala Metropolitan Statistical Area.
Document 2: 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 3: Lazy Lake, Florida: Lazy Lake is a village in Broward County, Florida, United States. The population was 24 at the 2010 census. Lazy Lake has no police department or fire department.
Document 4: Lake Placid, Florida: Lake Placid is a town in Highlands County, Florida, United States. As of the 2010 census the population was 2,223 and in 2017 the estimated population was 2,269. It is part of the Sebring Micropolitan Statistical Area.
Document 5: 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 6: Eastlake, Ohio: Eastlake is a city in Lake County, Ohio, United States. The population was 18,577 at the 2010 census. Dennis Morley is the current mayor of Eastlake. The city was named for the fact it is northeast of Cleveland, Ohio, following along the shore of Lake Erie.
Document 7: 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 8: Cleveland, Florida: Cleveland is a census-designated place (CDP) in Charlotte County, Florida, United States. The population was 2,990 at the 2010 census. It is part of the Punta Gorda Metropolitan Statistical Area.
Document 9: 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 10: 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 11: 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 12: 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 13: 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 14: 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 15: Desoto Lakes, Florida: Desoto Lakes is a census-designated place (CDP) in Sarasota County, Florida, United States. The population was 3,646 at the 2010 US Census. It is part of the Bradenton–Sarasota–Venice Metropolitan Statistical Area.
ground_truth: 916,542
sub_queries: East Lake >> located in the administrative territorial entity Answer: Pinellas County
what's the population of Pinellas County florida Answer: 916,542