function schr_kl(){ 
if(document.all){ 
text.style.fontSize=12
text.style.fontFamily="Arial, Helvetica, sans-serif" 
} 
if(document.layers){ 
document.text.document.close(); 
} 
} 
function schr_orig(){ 
if(document.all){	
text.style.fontSize=14
text.style.fontFamily="Arial, Helvetica, sans-serif"
} 
if(document.layers){ 
document.text.document.close(); 
} 
}
function schr_gro(){ 
if(document.all){	
text.style.fontSize=18
text.style.fontFamily="Arial, Helvetica, sans-serif" 
} 
if(document.layers){ 
document.text.document.close(); 
} 
}

function br(x){
D=document;
F=D.getElementById('textfeld');
D.selection?(F.focus(),D.selection.createRange().text=x):(F.selectionStart||F.selectionStart===0)?F.value=F.value.substring(0,F.selectionStart)+x+F.value.substring(F.selectionEnd,F.value.length):F.value+=x
}
function toggle(id, save) {
var li = "li_" + id;
var ul = "ul_" + id;
var div = "div_" + id;
var li_element = document.getElementById(li);
var ul_element = document.getElementById(ul);
var div_element = document.getElementById(div);
if(li_element) {
if(li_element.className == 'closed') {
li_element.className = "opened";
}
else {
li_element.className = "closed";
}
}
if(ul_element) {
if(ul_element.className == 'closed') {
ul_element.className = "opened";
}
else {
ul_element.className = "closed";
}
}
if(div_element) {
if(div_element.className == 'closed') {
div_element.className = "opened";
}
else {
div_element.className = "closed";
}
}
}

function machFensterauf(fenster) {
var NewWin=window.open(fenster, 'NewWin', 'resizable=1,location=0,directories=0,status=0,menubar=0,scrollbars=1,toolbars=0, width=840, height=770, screenX=70, screenY=0 ');
}

var searchWidth  = 252        // Breite
var searchHeight = 90         // Hoehe
var posInterval  = 25         // Intervall fuer Positionspruefung in ms
var extraX       = 20         // Abstand fuer vertikalen Rollbalken
var extraY       = 20         // Abstand fuer horizontalen Rollbalken
var wPosition    = 4         // Position: 1: oben links, 2: oben rechts, 3: unten rechts, 4: unten links

var NS4 = (!document.all);
var IE4 = (document.all);
var zaehler = 0;

function positionierung()
  {
  var  ntop
  var  nleft

  if(document.Marke)
    {
    with(document.Marke)
      {
      ntop   = window.pageYOffset
      nleft  = window.pageXOffset
      if(wPosition == 3 || wPosition == 4) ntop += innerHeight - searchHeight
      if(wPosition == 2 || wPosition == 3) nleft += innerWidth - searchWidth
      if(scrollbars.visible)
        {
        if(wPosition == 3 || wPosition == 4) ntop  -= extraX
        if(wPosition == 2 || wPosition == 3) nleft -= extraY
        }
      if(ntop != top || nleft != left)
        {
        top  = ntop
        left = nleft
        }
      }
    }
  else if(Marke)
    {
    with(Marke)
      {
      ntop   = document.body.scrollTop
      nleft  = document.body.scrollLeft
      if(wPosition == 3 || wPosition == 4) ntop  += Number(document.body.clientHeight) - searchHeight
      if(wPosition == 2 || wPosition == 3) nleft  += Number(document.body.clientWidth) - searchWidth
      if(ntop != style.top || nleft != style.left)
        {
        style.top   = ntop
        style.left  = nleft
        }
      }
    }
  else
    return
  }

// Initialisierung des Toplinks
function init()
  {
  positionierung()
  if(document.Marke)
    document.Marke.visibility = "show"
  else
    Marke.visibility = "visible"
  setInterval("positionierung()", posInterval)
  }

function suchen(suchtext)
  {
  var txt, i, found;
  if (suchtext == "")
    {
    document.search.suchtexting.focus()
    return false;
    }
  if (NS4)
    {
    if (!this.find(suchtext))
      {
      while(this.find(suchtext, false, true))
      zaehler++;
      }
    else
      {
      zaehler++;
      }
    if (zaehler == 0)
      {
      alert(suchtext + " wurde auf dieser Seite nicht gefunden.");
      }
    }
  if (IE4)
    {
    txt = this.document.body.createTextRange();
    for (i = 0; i <= zaehler && (found = txt.findText(suchtext)) != false; i++)
      {
      txt.moveStart("character", 1);
      txt.moveEnd("textedit");
      }
    if (found)
      {
      txt.moveStart("character", -1);
      txt.findText(suchtext);
      txt.select();
      txt.scrollIntoView();
      zaehler++;
      }
    else
      {
      if (zaehler > 0)
        {
        zaehler = 0;
        suchen(suchtext);
        }
      else
        {
        alert("Der Text \"" + suchtext + "\" wurde nicht gefunden.");
        }
      }
    }
  return false;
  }
