13 , 582X1 .)