var framefenster = document.getElementsByTagName("iframe");
function autoresize_frames() {
    for (var i = 0; i < framefenster.length; ++i) {
//        var framefenster_size = framefenster[i].contentWindow.document.body.offsetHeight + 10;
//        if (document.all && !window.opera) {
//            framefenster_size = framefenster[i].contentWindow.document.body.scrollHeight + 10;
//        }
        //        framefenster[i].style.height = framefenster_size + 'px';

        framefenster[i].style.height = framefenster[i].contentWindow.document.body.scrollHeight + "px";
    }
}