var timer, i, menuId;


function horni_menu()
{
    document.getElementById('menu_point').style.visibility='visible';
}

function setVisibility(element,newVisibility)
{ 
    document.getElementById(element).style.visibility = newVisibility;
}

function show_menu(id)
{
    clearTimeout(timer);
    for (i = 1; i <= 2; i++) if (i != id) setVisibility('menu_hid' + i,'hidden');
    setVisibility('menu_hid' + id,'visible');
}

function hide_menu(id)
{
    menuId = 'menu_hid' + id;
    timer = setTimeout("setVisibility(menuId,'hidden')",50)
}

function dont_hide()
{
  clearTimeout(timer);
}