( 25 , 502 .)