pub const INTERVALOID: u32 = 1186;