/* * Convert channel to IEEE channel number. */