( 12 , 502 .)