<!--
function toggleNode(name){
    node = document.getElementById(name);
    if (node){
        if (node.className == "nav-collapsed"){
            node.className = "nav-expanded";
        } else {
            node.className = "nav-collapsed";
        }
        for (i = 0; node != null; i++) {
            node = document.getElementById(name + '_' + i);
            if (node){
                if (node.className.indexOf("collapsed") >= 0) {
                    node.className = node.className.replace("collapsed", "expanded");
                } else {
                    node.className = node.className.replace("expanded", "collapsed");
                }
            }
        }
    }
} //-->