( 8 , 517;