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

function highligth_menu_item(element)
{
    if (element.className == "main_menu")
        element.className = "main_menu_highlight";
    else
        element.className = "main_menu";
}