function init() {
 var fm;
 var allHeight = document.getElementById("sfsMainContent").offsetHeight;
    if(document.getElementById("sfsNavigation")) {
        fm = document.getElementById("sfsNavigation");
        if(fm == null) return;
        else {
            fm.parentNode.className = "";
            fm.style.height = allHeight+"px";
        }
    }
}

window.onload = init;

// activate/deactivate all checkboxes?
function checkAllbyGroup(allbox,check_name)
{
    var field = document.getElementsByName(check_name)
    var allbox_value = document.getElementsByName(allbox)[0].checked;
    for (var i=0;i<field.length;i++)
    {
        var e = field[i];
        e.checked = allbox_value;
    }
}