( 12 , 509)