/**
 * Workaround:
 * initSameHeightsNaviAndSubmenu() ruft sich solange selber auf, bis sich die
 * Differenz zwischen alter-Positionierung vom foother und neuer kleiner als
 * 5 ist. (Auf manchen Seiten werden dynamisch generierte Bilder geladen,
 * welche länger zum laden brauchen; Der Browser (FF,Safari, Opera) berechnet 
 * dann aber die Höhe vom linken & rechten Balken falsch... Deswegen dieser
 * Kunstgriff.
 */

var SameHeightsNaviAndSubmenu=new function(){
  this.cnt=0;
  this.oldFoo="";
  this.init=function(){
    var cFoo=getAbsolute('foother');
    document.getElementById('navi_2big').style.height=cFoo.top-(142)+"px";
    document.getElementById('submenu').style.height=cFoo.top-(142)+"px";
    
    // Aufgrund von Rechenungenauigkeiten, muss hier eine kleine Toleranz 
    // gewährt werden (maximal 20 mal)
    if( (typeof(this.oldFoo)!="object" || (this.oldFoo.top+5<cFoo.top)) 
    && ((this.cnt++)<20) ){
      this.oldFoo=cFoo;
      window.setTimeout("SameHeightsNaviAndSubmenu.init()",200);
    }
  }
}
window.setTimeout("SameHeightsNaviAndSubmenu.init()",200);