( 8 , 517 .)