( 31 , 502 .)