( 25 , 843 .)