<!--
function openWindow(dateiname, name, width, height)
{
   window.open(dateiname, name, "width="+width+", height="+height+", dependent=yes, scrollbars=yes");
}

function show(element) {
  if (document.getElementById)
    document.getElementById(element).style.visibility = "visible";
}

function hide(element) {
  if (document.getElementById)
    document.getElementById(element).style.visibility = "hidden";
}

function ToggleElement(checkBox, elementId)
{
   if (checkBox.checked)
      document.getElementById(elementId).style.display = "none";
   else
      document.getElementById(elementId).style.display = "block";
}


//-->