( 8 , 509 .)