// A script by Manish Hatwalne, slightly altered by Martijn
// visibilityState: 1=visible, 0=hidden
function setVisibility(layerID, visibilityState) {
    if (document.getElementById) {
        var obj = document.getElementById(layerID);
        obj.style.visibility = visibilityState ? "visible" : "hidden";
        obj.style.display = visibilityState ? "block" : "none";
        //obj.style.height = visibilityState ? "0px" : "100%";
    }
}