Question: What's the population of the county in Florida where St. Petersburg is?

full_context: Document 1: 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 2: 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 3: 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 4: 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 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. In 2013, the state of Florida estimated the city's population at 171,016. Port St. Lucie forms part of a metropolitan area called the Port St. Lucie, Florida Metropolitan Statistical Area that in 2013 was estimated to have 438,095 residents. As of 2015, the city had 179,413 residents, surpassing Fort Lauderdale in population.
Document 6: 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 7: 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 8: Firestone Grand Prix of St. Petersburg: Firestone Grand Prix of St. Petersburg Verizon IndyCar Series Location St. Petersburg, Florida, U.S. 27 ° 45 ′ 59 ''N 82 ° 37 ′ 45'' W ﻿ / ﻿ 27.76639 ° N 82.62917 ° W ﻿ / 27.76639; - 82.62917 Coordinates: 27 ° 45 ′ 59 ''N 82 ° 37 ′ 45'' W ﻿ / ﻿ 27.76639 ° N 82.62917 ° W ﻿ / 27.76639; - 82.62917 Corporate sponsor Firestone First race 1985 First ICS race 2005 Distance 198 mi (319 km) Laps 110 Previous names St. Petersburg Grand Prix (1985 -- 1990) Kash n 'Karry Florida Grand Prix of St. Petersburg (1996 -- 1997) Honda Grand Prix of St. Petersburg (2005 -- 2013) Firestone Grand Prix of St. Petersburg (2014 -- present) Most wins (driver) Hélio Castroneves (3) Most wins (team) Team Penske (8) Most wins (manufacturer) Dallara (14) Honda (9) Circuit information Surface Asphalt / Concrete Length 1.8 mi (2.9 km) Turns 14 Lap record Jordan King (1: 00.0476, Dallara DW12, 2018, Verizon Indycar Series)
Document 9: Saint Petersburg: Saint Petersburg (Russian: Санкт - Петербу́рг, tr. Sankt - Peterburg, IPA: (ˈsankt pjɪtjɪrˈburk) (listen)) is Russia's second - largest city after Moscow, with 5 million inhabitants in 2012, part of the Saint Petersburg agglomeration with a population of 6.2 million (2015). An important Russian port on the Baltic Sea, it has a status of a federal subject (a federal city).
Document 10: 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 11: 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 12: 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 13: 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 14: 2017 St. Petersburg, Florida mayoral election: St. Petersburg mayoral election, 2017 ← 2013 November 7, 2017 2021 → Nominee Rick Kriseman Rick Baker Party Nonpartisan Nonpartisan Popular vote 34,531 32,341 Percentage 51% 49% Mayor before election Rick Kriseman Nonpartisan Elected Mayor Rick Kriseman Nonpartisan
Document 15: 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.
ground_truth: 916,542
sub_queries: where is st petersburg florida located in florida Answer: Pinellas County
what's the population of Pinellas County florida Answer: 916,542