( 7 , 517 .)