( 12 , 709 .)