13 , 217X1 .)