( 25 , 613 .)