13 , 051X2 .)