Constant KEY_KOHLSMAN_DEC 

pub const KEY_KOHLSMAN_DEC: u32 = 65884;