khoc, a radio station, uses what radio format?
(AND broadcast.radio_format (JOIN broadcast.radio_format.stations m.02rmhcs))