function initMenu() {
    var menus = document.getElementById("menu").getElementsByTagName("A");
    if (menus) {
        //loop through all a tags in the menu and add the events if it has a corrisponding submenu
        for (var i = 0; i < menus.length; i++) {
            var menu = menus[i];
            if (menu.id.indexOf("menu") == 0) {
                var submenu = document.getElementById("sub" + menu.id);
                if (submenu) {
                    menus[i].onmouseover = function() {
                    showMenu(this);
                    }
                    menus[i].onmouseout = function() {
                    hideMenu(this);
                    }
                }
            }
        }
    }
}

function showMenu(menu) {
    var submenu = document.getElementById(menu.id.replace("menu", "submenu"));
    if (submenu) {
        var self2 = submenu;
        submenu.style.display = "block";
        submenu.onmouseover = function() {
            menu.style.backgroundColor = "#DAECF6";
            menu.style.color = "#00457C";
            if (menu.id == "menuAbout") {
                menu.style.backgroundImage = "url('/images/menu/leftcornerover.jpg')";
            }
            else if (menu.id == "menuContact") {
                menu.style.backgroundImage = "url('/images/menu/rightcornerover.jpg')";
            }
            
            self2.style.display = "block";
        }

        submenu.onmouseout = function() {
            hideMenu(menu);
            self2.style.display = "none";
        }
    }
}

function hideMenu(menu) {
    menu.style.backgroundColor = "";
    menu.style.color = "";
    
    if (menu.id == "menuAbout") {
        menu.style.backgroundImage = "";
    }
    else if (menu.id == "menuContact") {
        menu.style.backgroundImage = "";
    }
    
    var submenu = document.getElementById(menu.id.replace("menu", "submenu"));
    if (submenu) {
        submenu.style.display = "none";
    }
}

//save the existing assignment, if any
var menu_tmpOnload = window.onload;

//now append init to the onload event.
window.onload = function() {
    //call the existing function
    if (menu_tmpOnload != null && typeof (menu_tmpOnload) == 'function') {
        menu_tmpOnload();
    }
    //now call init
    initMenu();
};