( 11 , 717 .)