( 9 , 709 .)