5 , 588.X12 .)