( 8 , 709 .)