function adjustDivHeights() {
    var col1 = document.getElementById('left_content');
    var col2 = document.getElementById('right');

    var minHeight = 481;
    var h = Math.max(col1.scrollHeight, col2.scrollHeight);
    if (h < minHeight) {
        h = minHeight;
    }
    col1.style.height = h + 'px';
    col2.style.height = h + 'px';
    /*
    var f = document.getElementById('inner_frame');
    f.style.height = h + 'px';
    */
}

button1= new Image();
button1.src = "img/link/aktuelles.png";
button2= new Image();
button2.src = "img/link/aktuelles_hover.png";

button3= new Image();
button3.src = "img/link/backwaren.png";
button4= new Image();
button4.src = "img/link/backwaren_hover.png";

button5= new Image();
button5.src = "img/link/cafe.png";
button6= new Image();
button6.src = "img/link/cafe_hover.png";

button7= new Image();
button7.src = "img/link/feinschmecker.png";
button8= new Image();
button8.src = "img/link/feinschmecker_hover.png";

button9= new Image();
button9.src = "img/link/filialen.png";
button10= new Image();
button10.src = "img/link/filialen_hover.png";

button11= new Image();
button11.src = "img/link/kontakt.png";
button12= new Image();
button12.src = "img/link/kontakt_hover.png";

button13= new Image();
button13.src = "img/link/team.png";
button14= new Image();
button14.src = "img/link/team_hover.png";