( 25 , 857 .)