<!-- Begin
var oldSelection = null;

//+---------------------------------------------------------------------
//|
//+---------------------------------------------------------------------
function toggleLayer(whichLayer)
{
	if (document.getElementById)
	{
		// this is the way the standards work
		var style2 = document.getElementById(whichLayer).style;
		style2.display = style2.display? "":"block";
	}
	else if (document.all)
	{
		// this is the way old msie versions work
		var style2 = document.all[whichLayer].style;
		style2.display = style2.display? "":"block";
	}
	else if (document.layers)
	{
		// this is the way nn4 works
		var style2 = document.layers[whichLayer].style;
		style2.display = style2.display? "":"block";
	}
}

//+---------------------------------------------------------------------
//|
//+---------------------------------------------------------------------
function hideLayer(layerName) {
  if(document.getElementById) {  //DOM
     document.getElementById(layerName).style.visibility = 'hidden';
     document.getElementById(layerName).style.display = 'none';
  }
  else
  if(document.all) {  //IE
     document.all[layerName].style.visibility = 'hidden';
     document.all[layerName].style.display = 'none';
  }
  else
  if(document.layers) {  //Netscape4.x ohne Garantie
     document.layers[layerName].style.visibility = 'hidden';
     document.layers[layerName].style.display = 'none';
  }
}

//+---------------------------------------------------------------------
//|
//+---------------------------------------------------------------------
function showLayer(layerName) {
  if(document.getElementById) {  //DOM
     document.getElementById(layerName).style.visibility = 'visible';
     document.getElementById(layerName).style.display = 'block';
  }
  else
  if(document.all) {  //IE
     document.all[layerName].style.visibility = 'visible';
     document.all[layerName].style.display = 'block';
  }
  else  //Netscape4.x ohne Garantie
  if(document.layers) {
     document.layers[layerName].style.visibility = 'visible';
     document.layers[layerName].style.display = 'block';
  }
}

//+---------------------------------------------------------------------
//| 
//+---------------------------------------------------------------------
function switchLayer(layerName, sel) {
   if (sel) {
	   hideLayer(sel);
   }
	showLayer(layerName);
	oldSelection = layerName;
}

//  End -->