( 5 , 517 .)