( 11 , 509 .)