( 25 , 672 .)