6032 , X12 .)