( 25 , 517 .)