13 , 403X1 .)