function disableButton(theButton)
{
 theButton.value="In Bearbeitung...";
 theButton.disabled = true;
 theButton.form.submit();
}

//
// ergänzt von Henning Kockerbeck, 17.07.2004
// MouseOver-Effekte im Menu
// anzuwenden als onMouseOver="highlight(this)" bzw. onMouseOut="delight(this)"
//

var highColor = '#FFFFFF';
var highBack = '#84b5cd';
var lowColor = '#FFFFFF';
var lowBack = '#37418C';

function highlight(elem)
  {
  elem.style.color=highColor;
  elem.style.backgroundColor=highBack;
  child = elem.firstChild;
  while (child != null)
    {
    if (child.style != null)
      {
      child.style.color = highColor;
      child.style.backgroundColor = highBack;
      }
    child = child.nextSibling;
    }
  }
  
function delight(elem)
  {
  elem.style.color=lowColor;
  elem.style.backgroundColor=lowBack;
  child = elem.firstChild;
  while (child != null)
    {
    if (child.style != null)
      {
      child.style.color = lowColor;
      child.style.backgroundColor = lowBack;
      }
    child = child.nextSibling;
    }  
  }

//
// ergänzt von Henning Kockerbeck, 17.07.2004
//