<!--
// Cookie zurückholen!
function getCookie(name){
  var cname = name + "=";
// in document.cookie stehen über den benutzer gespeicherte Angaben
  var dc = document.cookie;
   if (dc.length > 0) {
    begin = dc.indexOf(cname);
    if (begin != -1) {
      begin += cname.length;
	  // indexOF ermittelt ein Zeichen(;) an einer Position einer Zeichenkette(begin)
	  end = dc.indexOf(";", begin);
      if (end == -1) end = dc.length;
	     // substring ermittelt den Teil einer Zeichenkette,
		 //hier wohl alles was zwischen begin und end liegt
        return unescape(dc.substring(begin, end));
    }
  }
  return null;
}
function setCookie(name, value, expires, path, domain, secure) {
    document.cookie = name + "=" + escape(value) +
    ((expires == null) ? "" : "; expires=" + expires.toGMTString()) +
    ((path == null) ? "" : "; path=" + path) +
    ((domain == null) ? "" : "; domain=" + domain) +
    ((secure == null) ? "" : "; secure");
}

function delCookie (name,path,domain) {
    if (getCookie(name)) {
        document.cookie = name + "=" +
        ((path == null) ? "" : "; path=" + path) +
        ((domain == null) ? "" : "; domain=" + domain) +
        "; expires=Thu, 01-Jan-70 00:00:01 GMT";
    }
}

var firstCall = true;
// schriftgroesse ändern
function changeFontsize(fSize, increment) {
  if (firstCall) {
    firstCall = false;
    if (increment != "")
      changeFontsize('13', '');
  }
  if (document.getElementsByTagName) {
    tags = new Array ("p", "li", "h1", "h2", "h3", "h4", "h5", "h6", "body");
    for (j=0; j<tags.length; j++) {
      var getElement = document.getElementsByTagName(tags[j]);
      var eachElement, currentFontSize, fontIncrease, newFontSize;
      for (i=0; i<getElement.length; i++) {
        eachElement = getElement[i];
        if (increment != "") {
          currentFontSize = parseInt(eachElement.style.fontSize);
          fontIncrease = parseInt(increment);
          newFontSize = currentFontSize + fontIncrease;
          }
        else if (fSize != "")
          newFontSize = parseInt(fSize);

        if (fSize != "") {
          switch(tags[j]) {
          case "h1": newFontSize += 4; break;
          case "h2": newFontSize += 3; break;
          case "h3": newFontSize += 2; break;
          case "h4": newFontSize += 1; break;
          case "h5": newFontSize += 1; break;
          case "h6": newFontSize += 1;
          }
        }
        eachElement.style.fontSize = newFontSize + "px";
      }
    }
  }
}


// -->