4 12 ( i32