what is the radio station on sirius xm channel 12?
(AND base.lightweight.radio_station (JOIN base.lightweight.radio_station.sirius_xm_channel 12^^http://www.w3.org/2001/XMLSchema#integer))