function zeigeMenue(param)
{
  if(window.name != "haupt")
  {
    top.location.replace("/index.htm?"+self.document.location.pathname);
  }
  else { 
    if ((parent.menue.location.href.indexOf("menue_e.php") >= 0) || (self.document.location.href.indexOf("_e.htm") >= 0))
    { parent.menue.location.replace("/cgi-bin/menue_e.php?param="+param); }
    else { parent.menue.location.replace("/cgi-bin/menue.php?param="+param); }
  }
}