( 15 , 717 .)