function go(url)
{
    if (url == '') return false;
    location.href=url;
    return true;
}

function highligth_menu_item(element)
{
    if (element.className == "MainMenu")
        element.className = "MainMenuHighlight";
    else
        element.className = "MainMenu";
}