Constant edt12 

pub const edt12: u32 = 1163u32;