( 25 , 788 .)