25 , 619X2 .)