9 , 025X1 .)