Constant edt7 

pub const edt7: u32 = 1158u32;