public override Node ExitText(Production node) { Node child = null; for (int i = 0; i < node.GetChildCount(); i++) { child = node.GetChildAt(i); HTML = HTML + child.GetValue(0); //System.Console.WriteLine(); } return base.ExitText(node); }