13 , 632X1 .)