function addNodes() {
var nx = new YAHOO.widget.TextNode({ label: "Table of Contents", href: "index.html" }, root, false);
var n0 = new YAHOO.widget.TextNode({ label: "Installation", href: "index.html#id304141" }, root, false);
var n1 = new YAHOO.widget.TextNode({ label: "Create a working environment", href: "ar01s02.html" }, root, false);
var n2 = new YAHOO.widget.TextNode({ label: "Edit a template, add translation", href: "ar01s03.html" }, root, false);
var n3 = new YAHOO.widget.TextNode({ label: "Generate", href: "ar01s04.html" }, root, false);
var n4 = new YAHOO.widget.TextNode({ label: "Change a translation", href: "ar01s05.html" }, root, false);
var n5 = new YAHOO.widget.TextNode({ label: "Set up GUI", href: "ar01s06.html" }, root, false);
var n6 = new YAHOO.widget.TextNode({ label: "Change a translation with the GUI", href: "ar01s07.html" }, root, false);
var n7 = new YAHOO.widget.TextNode({ label: "Generating with the GUI", href: "ar01s08.html" }, root, false);
}