<!--
function checkTreemenuHeight() {
    if (document.getElementById('treemenu').offsetHeight > 450) {        var treemenu_height = document.getElementById('treemenu').offsetHeight + 20;        document.getElementById('main').style.height = treemenu_height + 'px';        document.getElementById('main').style.minHeight = treemenu_height + 'px';    }	
}

function init(){
    checkTreemenuHeight();
    MyJSScrollerHandler.initByClassName('scrollkalender');
}

window.onload = function() {init();}
//-->