( 13 , 709 );