Question: When is the Senate election day, in the state where WCOC is located?

full_context: Document 1: WBCO: WBCO (1540 AM) is a radio station licensed to serve the community of Bucyrus, Ohio. The station currently features a classic country format.
Document 2: WORB: WORB (90.3 FM) was a non-commercial, college radio station located on the campus of Oakland Community College in Farmington Hills, Michigan United States. WORB was a student-run radio station that featured alternative rock music as well as specialty shows. Staff, volunteers, and DJs for the station were made up of Oakland Community College students, and faculty. Cult shock rocker GG Allin was even interviewed on one show, which led to an investigation by the college and the FCC. The station ceased broadcasting on September 22, 1999.
Document 3: WDRM: WDRM (102.1 FM, "102.1 WDRM") is an American radio station licensed to serve the community of Decatur, Alabama, and owned by iHeartMedia, Inc. It serves the Huntsville, Alabama, area with a country music format. Its studios are located in Madison, Alabama and its transmitter is located north of Huntsville.
Document 4: United States congressional delegations from Alabama: District Representative Party CPVI Incumbency District map 1st Bradley Byrne (R - Mobile) Republican R + 15 Since January 7, 2014 2nd Martha Roby (R - Montgomery) Republican R + 17 Since January 3, 2011 3rd Mike Rogers (R - Tuskegee) Republican R + 16 Since January 3, 2003 4th Robert Aderholt (R - Gadsden) Republican R + 28 Since January 3, 1997 5th Mo Brooks (R - Huntsville) Republican R + 17 Since January 3, 2011 6th Gary Palmer (R - Vestavia Hills) Republican R + 28 Since January 3, 2015 7th Terri Sewell (D - Birmingham) Democratic D + 20 Since January 3, 2011
Document 5: 2017 United States Senate special election in Alabama: Jones was sworn into office on January 3, 2018, becoming the first Democratic U.S. Senator from Alabama since Howell Heflin's retirement in 1997.
Document 6: WEDR: WEDR (99.1 FM, "99 Jamz") is an urban-formatted radio station serving the South Florida region and licensed to Miami, Florida. WEDR has an unusually wide music selection for a mainstream urban-formatted radio station that ranges from typical hip-hop and R&B to reggaeton. This is because South Florida is a very diversified region that has various music tastes. WEDR's studio is located in Hollywood, Florida. The station is owned by Cox Media Group alongside sister stations WHQT, WFEZ and WFLC.
Document 7: 2018 United States Senate elections: United States Senate elections, 2018 ← 2016 November 6, 2018 2020 → 33 of the 100 seats (Class 1) in the United States Senate (and 2 special elections) 51 seats needed for a majority Leader Mitch McConnell Chuck Schumer Party Republican Democratic Leader since January 3, 2007 January 3, 2017 Leader's seat Kentucky New York Current seats 51 47 Seats needed Seats up 9 24 Party Independent Current seats Seats up Seats up for election (general & special): Democratic incumbent running Democratic incumbent retiring Republican incumbent running Republican incumbent retiring Independent incumbent running No election Inset rectangle signifies a special election. Incumbent Majority Leader Mitch McConnell Republican
Document 8: 2017 United States Senate special election in Alabama: A special election for the United States Senate in Alabama took place on December 12, 2017, to fill a vacancy in the Senate through the end of the term ending on January 3, 2021, arising from the resignation on February 8, 2017, of Jeff Sessions to serve as U.S. Attorney General. Democratic candidate Doug Jones defeated Republican candidate Roy Moore by a margin of 21,924 votes (1.7%). Jones is the first Democrat to win a U.S. Senate seat in the state since 1992.
Document 9: WCOS-FM: WCOS-FM is a Country music radio station licensed to Columbia, South Carolina and serves the Columbia, South Carolina market. The iHeartMedia, Inc. outlet is licensed by the Federal Communications Commission (FCC) to broadcast at 97.5 MHz with an effective radiated power (ERP) of 100,000 watts. The station goes by the name 975 WCOS and its current slogan is "Today's Best Country and Your All-Time Favorites." Its studios are in Columbia (west of the Congaree River) and the transmitter is north of the city.
Document 10: 2018 United States Senate elections: Elections to the United States Senate will be held November 6, 2018, with 33 of the 100 seats in the Senate being contested in regular elections and two seats being contested in special elections. The winners will serve six - year terms from January 3, 2019, to January 3, 2025. Currently, Democrats have 26 seats up for election, including the seats of two independents who caucus with them. Republicans have nine seats up for election. The seats up for regular election in 2018 were last up for election in 2012; in addition, special elections will be scheduled if vacancies occur, as has already happened in Minnesota and Mississippi.
Document 11: WWGC: WWGC AM 1090 is a radio station licensed to serve Albertville, Alabama. The station is owned by The Jeff Beck Broadcasting Group, LLC. It airs a Latino Music programming format.
Document 12: 2017 United States Senate special election in Alabama: After the election, Moore filed a lawsuit attempting to block the state from certifying the election and calling for an investigation into voter fraud. On December 28, 2017, a judge dismissed this lawsuit and state officials certified the election results, officially declaring Doug Jones the winner. Jones was sworn into office on January 3, 2018, by Vice President Mike Pence. Jones became the first Democrat to win a statewide race in Alabama since former Lieutenant Governor Lucy Baxley was elected President of the Alabama Public Service Commission in 2008 over Republican Twinkle Andress Cavanaugh. Prior to that, Democrat Jim Folsom Jr. was elected Lieutenant Governor of Alabama in 2006 over Republican Luther Strange. The last Democrat to win a federal statewide election in Alabama was Richard Shelby in 1992, who switched to the Republican Party in late 1994.
Document 13: 2018 United States Senate elections: Elections to the United States Senate will be held November 6, 2018, with 33 of the 100 seats in the Senate being contested in regular elections. The winners will serve six - year terms from January 3, 2019, to January 3, 2025. Currently, Democrats have 23 seats up for election along with 2 independents who caucus with them. Republicans have 8 seats up for election. Two of the Republican seats are open as a result of Tennessee Senator Bob Corker's and Arizona Senator Jeff Flake's pending retirements. The seats up for election in 2018 were last up for election in 2012, although some seats may have special elections if incumbents die or resign, as has already happened in Alabama and Minnesota. After the 2016 elections, some state election officials are trying to upgrade voting systems in time for this election.
Document 14: 2017 United States Senate special election in Alabama: A special election for the United States Senate in Alabama is scheduled for December 12, 2017, to choose former Senator Jeff Sessions's successor for the term through January 3, 2021. Sessions resigned from the Senate in February 2017 to serve as U.S. Attorney General. Governor Robert J. Bentley chose Luther Strange, the Attorney General of Alabama, to succeed Sessions, filling the seat until the special election takes place. Although he had the power to schedule an election in 2017, Bentley initially decided to align it with the 2018 general election, before Kay Ivey, his successor, later moved the date up to December 12, 2017, scheduling the primary for August 15 and primary runoff for September 26.
Document 15: WCOC: WCOC (1010 AM) was a radio station licensed to the community of Dora, Alabama, United States, and serving the greater Birmingham, Alabama, area. The station is owned by Azteca Communications of Alabama, Inc. It normally airs a Regional Mexican music format but is silent in light of "financial difficulties".
ground_truth: December 12, 2017
sub_queries: What state is WCOC located? Answer: Alabama
when is election day in Alabama for senate Answer: December 12, 2017