var timeout_id = "";

function menu_over(id)
{
  if(timeout_id != id && timeout_id != "")
  {
    clearTimeout(this[timeout_id + "_timeout"]);
    menu_remove(timeout_id);
  }
  else if(timeout_id == id)
  {
    clearTimeout(this[id + "_timeout"]);
  }

  document.getElementById(id).style.display = "inline";
}

function menu_out(id)
{
  this[id + "_timeout"] = setTimeout("menu_remove(\"" + id + "\");", 500);
  timeout_id = id;
}

function menu_remove(id)
{
  document.getElementById(id).style.display = "none";
  timeout_id = "";
}