( 25 , 845 .)