Constant KEY_NAV3_RADIO_WHOLE_DEC 

pub const KEY_NAV3_RADIO_WHOLE_DEC: u32 = 67454;