function MIToggle(id) {
  var now = document.getElementById(id).style.visibility;
  var link = id + "Link";
  if( now == "visible") {
    document.getElementById(id).style.visibility = "hidden";
    document.getElementById(link).firstChild.nodeValue = "(anzeigen)";
    document.getElementById(link).blur();
  }
  else {
    document.getElementById(id).style.visibility = "visible";
    document.getElementById(link).firstChild.nodeValue = "(verbergen)";
    document.getElementById(link).blur();
  }
}

function SpoilerToggle(id) {
  var now = document.getElementById(id).style.display;
  var link = id + "Link";
  if( now == "block") {
    document.getElementById(id).style.display = "none";
    document.getElementById(link).firstChild.nodeValue = "(anzeigen)";
    document.getElementById(link).blur();
  }
  else {
    document.getElementById(id).style.display = "block";
    document.getElementById(link).firstChild.nodeValue = "(verbergen)";
    document.getElementById(link).blur();
  }
}

function rot13(s) {
  var rot=new String('') ;
  var b;
  for(var pos=0; pos<s.length ; pos++){
    b=s.charCodeAt(pos);
    if( ((b>64)&&(b<78)) || ((b>96)&&(b<110)) ){ b+=13; }
    else if( ((b>77)&&(b<91)) || ((b>109)&&(b<123)) ) { b-=13; }
    rot = rot + String.fromCharCode(b);
  }
  return rot;
}