5 , 588.^12 .)