( 25 , 858 .)