paragraph_text: KBCR-FM (96.9 FM, "Big Country Radio") is a radio station licensed and broadcasting to Steamboat Springs, Colorado, USA. The station broadcasts a country music format and is currently owned by Don Tlapek, through licensee Blizzard Broadcasting LLC.

paragraph_text: WLQM-FM is a Full Service formatted broadcast radio station licensed to Franklin, Virginia, serving Franklin and Southampton County, Virginia. WLQM-FM is owned and operated by Franklin Broadcasting Corporation.

paragraph_text: KCWN (99.9 FM) is a commercial radio station that serves the area of Oskaloosa, Iowa, United States. The station primarily broadcasts a Christian contemporary format. KCWN is licensed to Crown Broadcasting Company.

paragraph_text: WLUJ is a Christian radio station licensed to Springfield, Illinois, broadcasting on 89.7 MHz FM. The station is owned by Cornerstone Community Radio.

paragraph_text: WLRX (106.1 FM) and WAWX (101.7 FM) are contemporary Christian formatted broadcast radio stations. WLRX is licensed to Vinton, Virginia, serving Metro Roanoke. WAWX is licensed to Lynchburg, Virginia, serving Metro Lynchburg. Both WLRX and WAWX are owned and operated by Educational Media Foundation.

paragraph_text: WSME (1120 AM) is an Eastern North Carolina radio station broadcasting an oldies format. The station is licensed to the town of Camp Lejeune, North Carolina, serving the Jacksonville area. The station is licensed to B&M Broadcasting LLC. WSME also simulcasts via an FM translator (W246CJ), at 97.1 FM.

paragraph_text: WANT is an FM radio station licensed to Lebanon, Tennessee, broadcasting at 98.9 MHz. Most of WANT's broadcast day is simulcast over 1490 AM WCOR, with some exceptions.

paragraph_text: KSAO (93.9 FM) is an American radio station licensed to serve the community of San Angelo, Texas. The station's broadcast license is held by Houston Christian Broadcasters, Inc.

paragraph_text: KCRE-FM (94.3 FM) is a radio station broadcasting an Adult Contemporary format licensed to Crescent City, California, United States. The station is owned by Bicoastal Media Licenses Ii, LLC and features programming from ABC Radio, via the Hits & Favorites satellite radio service.

paragraph_text: WCSN-FM (105.7 FM, "Sunny 105.7 FM") is a radio station licensed to serve Orange Beach, Alabama, United States. The station is owned by Gulf Coast Broadcasting Co., Inc. It airs a classic hits music format.

paragraph_text: KWMZ-FM (104.5 FM, "Z-104.5, WMZ FM") is a radio station licensed to serve Empire, Louisiana. The station is owned by Michael A. Costello through licensee M.A.C. Broadcasting, LLC.

paragraph_text: WKCY-FM is a Country formatted broadcast radio station licensed to Harrisonburg, Virginia, serving the Central Shenandoah Valley. WKCY-FM is owned and operated by iHeartCommunications, Inc.

paragraph_text: KLIF-FM (93.3 FM, branded as ""Hot 93.3"") is a radio station licensed to serve Haltom City, Texas, United States. The station is owned by Cumulus Media, and the broadcast license is held by Radio License Holding SRC LLC. It broadcasts a CHR music format to the Dallas/Fort Worth metroplex in Texas. The station's studios are located in the Victory Park district in Dallas just north of downtown, and the transmitter site is in West Dallas near the I-30/Loop 12 interchange.

paragraph_text: WOFX-FM (92.5 FM) is an American radio station in Cincinnati, Ohio. The station plays a classic rock format. The station is owned and operated by Cumulus Media. It broadcasts with an effective radiated power of 16,000 watts. It was the FM flagship station of the Cincinnati Bengals through the 2008 preseason

paragraph_text: CKIS-FM is a Canadian radio station, broadcasting at 92.5 MHz in Toronto, Ontario. Owned by Rogers Media, the station broadcasts a Top 40 (CHR) format branded as "KiSS 92.5". The station is one of two top-40 stations licensed to the city of Toronto (the other being CKFM-FM).

paragraph_text: WGCK-FM is a Contemporary Christian-formatted broadcast radio station licensed to Coeburn, Virginia, serving Dickenson and Wise counties in Virginia and Letcher County in Kentucky. WGCK-FM is owned and operated by Letcher County Broadcasting, Inc.

paragraph_text: WFLS-FM is a Country formatted broadcast radio station licensed to Fredericksburg, Virginia, serving Central Virginia, Northern Virginia, and Southern Maryland. WFLS-FM is owned and operated by Alpha Media.

paragraph_text: KBIK (102.9 FM) is a radio station licensed in Independence, Kansas. It broadcasts country music. The station is owned by My Town Media, Inc.

paragraph_text: The present Mayor of Cincinnati is John Cranley. The nine-member city council is composed of Vice Mayor Christopher Smitherman and Councilmembers Tamaya Dennard (President Pro-Tem), David Mann, Amy Murray, Chris Seelbach, P.G. Sittenfeld, Greg Landsman, Jeff Pastor, and Wendell Young. The city manager is Harry Black, and the manager maintains two assistant city managers.

paragraph_text: WTTL-FM (106.9 FM) is a radio station licensed to serve Madisonville, Kentucky, United States. The station is licensed to Madisonville CBC, Inc. and owned by Commonwealth Broadcasting Corporation. It airs an  hot adult contemporary format.

Question: Who was in charge of the city to which WOFX-FM is licensed to broadcast?
Answer: John Cranley