( 709 , 3 .)