Constant KEY_COLLECTIVE_DECR 

pub const KEY_COLLECTIVE_DECR: u32 = 67494;