( 11 , 709 .)