( 16 , 709 .)