Constant lst12

pub const lst12: u32 = 1131u32;