  <!--

  // #########################################################################
  // menu functions
  function MM_jumpMenu(targ,selObj,restore)
  {
      if (selObj.options[selObj.selectedIndex].value.substring(0,7) == 'http://')
      {
          window.open(selObj.options[selObj.selectedIndex].value,"ExternalLink", "toolbar=yes,directories=yes,status=yes,resizable=yes,width=640,height=480,menubar=yes,scrollbars=yes,location=yes,locationbar=yes").focus();
      }
      else if (selObj.options[selObj.selectedIndex].value != '')
      {
          eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
          if (restore) selObj.selectedIndex=0;
      }
  }

  function MM_findObj(n, d)
  { //v3.0
    var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
      d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
    if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
    for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document); return x;
  }

  function goto_URL(object)
  {
      window.location.href = object.options[object.selectedIndex].value;
  }
  // /menu functions
  // #########################################################################

  // #########################################################################
  // popups
  function OpenKandoWin(url)
  {
    browserName =navigator.appName;
    if (browserName=="Microsoft Internet Explorer") {
      window.open(url,"newWindow", "toolbar=no,directories=yes,status=yes,resizable=yes,width=310,height=450,menubar=yes,scrollbars=no,locationbar=yes").focus();
    } else {
      window.open(url,"newWindow", "toolbar=no,directories=yes,status=yes,resizable=yes,InnerWidth=310,InnerHeight=450,menubar=yes,scrollbars=no,locationbar=yes").focus();
    }
  }

  function externalWin(url)
  {
    window.open(url,"Window", "location=yes,toolbar=yes,directories=yes,status=yes,resizable=yes,width=800,height=600,menubar=yes,scrollbars=yes,locationbar=yes").focus();
  }

  function popupWin(URL,xsize,ysize)
  {
    window.open(URL,"newWindow", "width="+xsize+",height="+ysize+",location=no,toolbar=no,directories=no,status=no,resizable=no,menubar=no,scrollbars=yes,locationbar=no").focus();
  }
  // /popups
  // #########################################################################

  // #########################################################################
  // form functions
  function submitsearch()
  {
      document.forms.htsearch.submit();
  }
  // /form functions
  // #########################################################################


  // ######################################################################
  // object checkBrowser
  function checkBrowser()
  {
      this.ver=navigator.appVersion
      this.dom=document.getElementById?1:0
      this.ie5=( (this.ver.indexOf("MSIE 5")>-1 ||
                  this.ver.indexOf("MSIE 6")>-1) && this.dom)?1:0
      this.ie4=(document.all && !this.dom)?1:0
      this.ns5=(this.dom && parseInt(this.ver) >= 5)?1:0
      this.ns4=(document.layers && !this.dom)?1:0
      this.bw=(this.ie5 || this.ie4 || this.ns4 || this.ns5)
      return this
  }
  // the bw object must exist before the page ist loaded completely
  bw = new checkBrowser()

  // General Skripts for layer handling
  function divExists(myName)
  {
      return ( bw.dom?document.getElementById(myName):
               bw.ie4?document.all[myName+'Sub']:
               bw.ns4?eval('document.'+myName):false )
  }

  function getLayerByName(name)
  {
      i = 0
      while (i < layers.length)
      {
          if (layers[i].name == name)
          {
              return layers[i]
          }
          i++
      }
      return false
  }
  // /object checkBrowser
  // ######################################################################

  // ######################################################################
  // classdef
  // layer object to handle the <div>s

  function layer(name)
  {
      if (! divExists(name))
      {
          this.name=false
          return (this)
      }
      // Zugriff auf DOM oder Layer-Attribute
      this.css=bw.dom?document.getElementById(name).style:
          bw.ie4?document.all[name].style:
          bw.ns4?eval("document.layers."+name):0
      // LayerObject
      this.el=bw.dom?document.getElementById(name):
          bw.ie4?document.all[name]:
          bw.ns4?eval('document.'+name):0
      // DocumentObject - ist bei NS4 im Layer-Object verschachtelt
      this.ref=bw.dom || bw.ie4?document:bw.ns4?eval("document.layers."
              +name+".document"):0
      this.write=layerWrite
      this.x=0
      this.y=0
      this.name=name
      this.Width=bw.ns4?this.ref.width:this.el.offsetWidth
      this.Height=bw.ns4?this.ref.height:this.el.offsetHeight
      this.setX=layerSetX
      this.setY=layerSetY
      this.hide=layerHide
      this.unhide=layerUnhide
      this.vis=layerVis
      this.moveIt=layerMoveTo
      return(this)
  }

      // methods for class layer
      function layerHide()
      {
          this.css.visibility="hidden"
          return true
      }

      function layerUnhide()
      {
          this.css.visibility="visible"
          return true
      }
      function layerVis()
      {
          if(this.css.visibility=="hidden" || this.css.visibility=="hide")
          {
              return false
          }
          return true
      }

      function layerMoveTo(x,y)
      {
          this.setX(x)
          this.setY(y)
          return true
      }

      function layerSetY(y)
      {
          this.y=y; this.css.top=y
          return true
      }
      function layerSetX(x)
      {
          this.x=x; this.css.left=x
          return true
      }

      function layerWrite(text)
      {
          if (bw.dom)
          {
              this.el.firstChild.nodeValue = text
          }

          if (bw.ns4)
          {
              toEval = "document.layers." + this.name +
                       ".document.write('" + text + "')"
              eval(toEval);
              toEval = "document.layers." + this.name + ".document.close()"
              eval(toEval);
          }
          return true
      }
  // /Classdef Layer
  // ######################################################################

  // ######################################################################
  // Event Capture - captures mousemoves and sets mouse position in
  // globals mousePosX and mousePosY
  function mouseGetPos(e)
  {
      mousePosX=(bw.ns4||bw.ns5)?e.pageX:event.clientX;
      mousePosY=(bw.ns4||bw.ns5)?e.pageY:event.clientY;
      if (toolTipLayer)
      {
          toolTipLayer.moveIt(mousePosX + ttOffX, mousePosY + ttOffY)
      }
      return true;
  }

  function setMouseCapture()
  {
      if (bw.ns4) {
          document.captureEvents(Event.MOUSEMOVE)
      }
      document.onmousemove=mouseGetPos
  }
  // /Event Capture
  // ######################################################################

  // ######################################################################
  // Clock functions

  function prenull(value)
  {
      if (String(value).length > 1)
      {
          return (value);
      }
      value = '0' + value;
      return (value.substr(0,2));
  }

  function getDate()
  {
      var now = new Date();
      var year = now.getFullYear();
      var month = prenull(now.getMonth() + 1);
      var dom = prenull(now.getDate());
      var hour = prenull(now.getHours());
      var min = prenull(now.getMinutes());
      var sec = prenull(now.getSeconds());

      date = dom + '.' + month + '.' + year + ', ' +
             hour + ':' + min + ':' + sec;
      return date;
  }

  function writeDate(layer)
  {
     if (layer) {
         layer.write(getDate())
         return true;
     } else {
         return false;
     }
  }

  // /Clock functions
  // ######################################################################


  // Globals
  var bw                     // browser capabilities object
  var initialized=false      // layers inititialized?
  var layers = new Array()   // Array of layers
  var clockLayer             // The clock layer
  var toolTipLayer           // the tooltip layer
  var mousePosX              // mouse position
  var mousePosY
  var ttOffX = 10            // offset of the tooltip
  var ttOffY = 10            // relative to mouseposition
  var capturemouse=false     // set this to 'true' inside the html source
                             // in order to let the mouse to be captured:
                             // <script language="JavaScript">
                             //     capturemouse = true
                             // </script>

  // ######################################################################
  // function to be called from within the body

  // Layer initialization
  function initLayers()
  {
      if (initialized) return 0
      initialized = true
      if (capturemouse == true)
      {
          setMouseCapture()
      }
      return true
  }

  function showClock(layerName)
  {
      if (! clockLayer)
      {
        clockLayer = new layer(layerName)
        layers[layers.length++] = clockLayer
        if (!clockLayer.name) {
            return false
        }
      }
      writeDate(clockLayer);
      eval("setTimeout('showClock()', 1000)");
      return true
  }

  function showToolTip(layerName, text)
  {
      if (! capturemouse)
      {
          return false
      }
      if (! toolTipLayer)
      {
          toolTipLayer = new layer(layerName)
      }
      toolTipLayer.write(text)
      toolTipLayer.unhide()
  }

  function hideToolTip(layerName)
  {
      if (! toolTipLayer)
      {
          toolTipLayer = new layer(layerName)
      }
      toolTipLayer.hide()
  }

  lastMenuLayer = 0;
  function showLayer(layer,parentLayer) {
      if (parentLayer == 0) {
          parentLayer = lastMenuLayer
      } else {
          lastMenuLayer = parentLayer
      }
      myLayer=document.getElementById(layer)
      myLayer.style.visibility='visible'
      parentLayer.style.backgroundColor = "#b9bdca";
  }

  function hideLayer(layer,parentLayer) {
      if (parentLayer == 0) {
          parentLayer = lastMenuLayer
      } else {
          lastMenuLayer = parentLayer
      }

      myLayer=document.getElementById(layer)
      myLayer.style.visibility='hidden'
      parentLayer.style.backgroundColor = "#ffffff";
  }

  // -->

