( 7 , 717 .)