  var TimeOn = null;
 

  function change_vis(Id, Vis)
  {
    var Object = get_style(Id);
    if (Object)
    {
      Object.visibility = Vis;
      return true;
    } 
    else return false;
  }

  function hide_menu()
  {
    change_vis("PrMenu", "hidden");
  }

  function show_menu()
  {
    change_vis("PrMenu", "visible");  
  }

  function menu_over()
  {
    clearTimeout(TimeOn);
    show_menu();
  }

  function menu_out()
  {
   // hide_menu();
    TimeOn = setTimeout("hide_menu()", 100);
  }


  function getObjNN4(obj, name)
  {
    var l = obj.layers;
    var found;
    for (var i=0; i<l.length; i++)
    {
      if (l[i].id==name)
	found=l[i];
      else if (x[i].layers.length)
	 var tmp=getObjNN4(l[i], name);
      if (tmp) found=tmp;
    }
    return found;
  }

  function get_style(Id)
  {
    if (document.getElementById && document.getElementById(Id)) 
      return document.getElementById(Id).style;
    else if (document.all && document.all(Id))
      return document.all(Id).style;
    else if (document.layers && document.layers[Id])
      return getObjNN4(document, Id);
    else
      return false;
  } 




