var menu_open = false;
var timeout_id = null;

function toggle_menu(menu_id)
{      
   if(menu_open) hide_menu(menu_id);
   else show_menu(menu_id);
}

function show_menu(menu_id)
{  
   if (timeout_id) timeout_id = window.clearTimeout(timeout_id); 
   var menu_id = document.getElementById(menu_id);
   menu_id.style.visibility = 'visible';
   menu_open = true;
}

function schedule_hide(menu_id)
{
   if (timeout_id) timeout_id = window.clearTimeout(timeout_id);
   timeout_id = window.setTimeout("hide_menu('" + menu_id + "')", 200);
}
   
function hide_menu(menu_id)
{
   var menu_id = document.getElementById(menu_id);
   menu_id.style.visibility = 'hidden';
   menu_open = false;
}