( 23 , 509 .)