( 13 , 709 .)