// Bei Link auf aktuelle Seite die CSS Klasse auf aktiv setzen
function highlightCurrentPageLink() {
// Alle Links durchlaufen und pruefen
var anzHrefs = document.getElementsByTagName("a").length;
for (var i = 0; i <= anzHrefs - 1; i++) {
// Link auf aktuelle Seite gefunden, also umsetzen CSS auf aktiv
//if (document.getElementsByTagName("a")[i].href == document.location.href) {
//nötig für loca Tests im path ....bühler: %FC --> ü
var newdoclochref = document.location.href.replace(/%FC/,"ü");
if (document.getElementsByTagName("a")[i].href == newdoclochref) {
var currentClassName = document.getElementsByTagName("a")[i].className;
var newClassName = currentClassName.replace(/inaktiv/,"aktiv");
document.getElementsByTagName("a")[i].className = newClassName;
}
}

var Ergebnis = document.location.href.search(/reiseleiter.+/);
if (Ergebnis != -1)
  resize_me("box");
}

function lang_change( lang ) {
  document.location.href=document.location.href.replace( /(.*)_[d|e|f|i]\.htm/, "$1_"+lang+".htm");

}

function resize_me(n) {
// { alert("in resize");
d=0;
ifObj=document.getElementsByName(n)[0];
p=(document.all)?'scroll':'offset';
//alert(ifObj + " " + d + " " + p);
eval("ifObj.style.height=window.frames[n].document.getElementsByTagName('body')[0]."+p+"Height+"+d);
//  alert(eval("ifObj.style.height=window.frames[n].document.getElementsByTagName('body')[0]."+p+"Height+"+d));
}