10299X3 ) ( 3 , 25 .)