( 31 , 709 .)