10 , 631X2 .)