13 , 672X1 .)