Constant KEY_NAV1_RADIO_WHOLE_DEC 

pub const KEY_NAV1_RADIO_WHOLE_DEC: u32 = 65640;