( 4 , 517 .)