( 17 , 709 .)