( 20 , 709 .)