// Menue Farbwechsel
cColorOvr = '#BEDFFF'
cColorOut = '#EEEEEE'
cColorOvr_p = '#ACCBEB'
cColorOut_p = '#B9D7F6'
cColorOvr_s = '#D0E7FF'
cColorOut_s = '#EEE'
cFontOvr = 'normal'
cFontOut = 'normal'
function setBGCol(ElementID, bgCol, cFont){
  window.document.getElementById(ElementID).style.backgroundColor = bgCol;
	window.document.getElementById(ElementID).style.fontWeight = cFont;
}

function java_link() {
  var i, args=java_link.arguments; document.java_link_returnValue = false;
  for (i=0; i<(args.length-1); i+=2) eval(args[i]+".location='"+args[i+1]+"'");
}

function showHideLayer (LayerID) {
  var divElement = document.getElementById(LayerID);
  //var currVis = divElement.style.visibility;
  var currDisplay = divElement.style.display;
  switch (currDisplay) {
    case "none" :
      //divElement.style.visibility = "visible";
      divElement.style.display = "block";
      break;
    case "block" :
      //divElement.style.visibility = "hidden";
      divElement.style.display = "none";
      break;
    default :
      //divElement.style.visibility = "visible";
      divElement.style.display = "block";
  }
}

function scrolldown_s(){ 
  var y = 0;
  if (window.pageYOffset) {
    y = window.pageYOffset;
  } else if (document.body && document.body.scrollTop) {
    y = document.body.scrollTop;
  }
  if (y > 0) {
    window.scrollBy(0, -350);
  }
}