( 23 , 517 .)