( 12 , 509 .)