function changeVisibility(element) {

    if (typeof element === "string") {
        element = document.getElementById(element);
    }
    if (element) {
            element.hidden = !(element.hidden);
    } else {
            console.log("In changeVisibility: element not found");
    }
}