13 , 953X1 .)