( 2 , 717 .)