Question: What's the population of the county where North Redington Beach is located in Florida?

full_context: Document 1: 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.
Document 2: 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 3: 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 4: 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 5: 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 6: Hernando Beach, Florida: Hernando Beach is a census-designated place (CDP) in Hernando County, Florida, United States. The population was 2,299 at the 2010 census.
Document 7: 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 8: 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 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: Winter Beach, Florida: Winter Beach is a census-designated place (CDP) in Indian River County, Florida, United States. The population was 2,067 at the 2010 census, up from 965 at the 2000 census. It is part of the Sebastian–Vero Beach Metropolitan Statistical Area.
Document 11: 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 12: Daytona Beach, Florida: Daytona Beach is a city in Volusia County, Florida, United States. It lies about northeast of Orlando, southeast of Jacksonville, and northwest of Miami. In the 2010 U.S. Census, it had a population of 61,005. It is a principal city of the Deltona–Daytona Beach–Ormond Beach metropolitan area, which was home to 600,756 people as of 2013. Daytona Beach is also a principal city of the Fun Coast region of Florida.
Document 13: Red Bay, Alabama: Red Bay is a city in Franklin County, Alabama, United States. It was founded in 1907. The population was 3,158 at the 2010 census, down from 3,374 at the 2000 census. The town's name comes from the native red clay soil and the many bay trees (Persea borbonia) in the area.
Document 14: 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 15: 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.
ground_truth: 916,542
sub_queries: North Redington Beach >> located in the administrative territorial entity Answer: Pinellas County
what's the population of Pinellas County florida Answer: 916,542