25 , 378X1 .)