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