( 25 , 513 .)