( 20 , 717 .)