The text 16fec5bad4be, as Debian 7 (Wheezy) shipped it.
convert channel number to frequency
ieee80211_channel_to_frequency(9) on Linux now
