( 4 , 717 .)