( 19 , 717 .)