Constant psh12 

pub const psh12: u32 = 1035u32;