function toggle(nodeid) {
    var node = document.getElementById(nodeid);
    var nodeimg = document.getElementById(nodeid + "_img");
    if (node.className == "navshown") {
        node.className = "navhidden";
        nodeimg.src = "plus-icon.gif";
    }
    else {
        node.className = "navshown";
        nodeimg.src = "minus-icon.gif";
    }
}

function show(node) {
    if (document.getElementById(node).style.display == 'none') {
        document.getElementById(node).style.display = 'block';
    } else {
        document.getElementById(node).style.display = 'none';
    }
}

function hide(node) {
    document.getElementById(node).style.display = 'none';
}