function display_menu_name(id) {
     return menu[id].get_menu_name();
}

function display_menu_link(id) {
     return menu[id].get_menu_link();
}

function show_layer(id) {
    if (curr_layer_id > 0) {
        document.getElementById("menu" + curr_layer_id).style.visibility = "hidden";
        document.getElementById("menubar" + curr_layer_id).style.backgroundColor = "#307ECC";
    }
    document.getElementById("menu" + id).style.visibility = "visible";
    document.getElementById("menubar" + id).style.backgroundColor = "#4B94DC";
    curr_layer_id = id;
}

function hide_layer() {
    if (curr_layer_id > 0) {
        document.getElementById("menu" + curr_layer_id).style.visibility = "hidden";
        document.getElementById("menubar" + curr_layer_id).style.backgroundColor = "#307ECC";
        curr_layer_id = 0;
    }
}

function menu_leftpos(id) {
    return Menu.width * id;
}


function show_menu(id) {
    menu[id].show_item(id);
}

function navigation(id) {
    document.write('<div id="menubar' + id + '" class="menubar" style="left: ' + menu_leftpos(id) + 'px"');
    if (menu[id].item_count() > 0)
        document.write(' onmouseover="show_layer(' + id + ')">\n');
    else
        document.write(' onmouseover="hide_layer()">\n');
    document.write('\t<span class="menubartext">');
    if (display_menu_link(id) != null)
        document.write('<a href="' + level() + display_menu_link(id) + '">' + display_menu_name(id) + '</a>');
    else
        document.write(display_menu_name(id));
    document.write('</span>\n');
    document.write('</div>\n');
}


function basename(url) {
    return url.substring(url.lastIndexOf("/") + 1);
}
function level() {
    var pagename = basename(location.href);
    for (var i = 0; i != menu_link.length; ++i) {
        if (pagename == menu_link[i])
            return "";
    }
    return "../";
}