( 15 , 509 .)