( 25 , 507 .)