function swapImg(img, section, visible)
{
    document.images[img].src = "images/" + section + "_" + img + "_" + ((visible) ? "on" : "off") + ".gif"
}

function togglePanel(panelName)
{
    var panel = document.getElementById(panelName);
    if (panel == null) return;
    if (panel.style.display == "")
    {
	    panel.style.display = "none";
    }
    else
    {
        panel.style.display = "";
    }
}