13 , 038X1 .)