Constant KEY_NAV3_RADIO_SET 

pub const KEY_NAV3_RADIO_SET: u32 = 67257;