13 , 413X1 .)