13 , 217X4 .)