( 13 , 509 .)