function togglePrograms(visibility) {
    var div = document.getElementById("programs-menu");
    if (div != null) {
        div.style.visibility = visibility;
    }
}