// Javascript functions used throughout website....



// Some variables 
var timer;
var menuId = 0;



// Some functions 
function showSubMenu(menu) {
    document.getElementById(menu).style.visibility="visible"
}

function hideSubMenu(menu) {
    var toDo = 'document.getElementById("' + menu + '").style.visibility="hidden"'
    timer = setTimeout(toDo, 200);
}

function cancelHideSubMenu() {
    if (timer) { 
       clearTimeout(timer);
       timer = 0;
    }
}