function resizeIframeLoad() {
    if (window.self == window.parent) {
        return false;
    }
    else { 
        var FramePageHeight = document.body.scrollHeight + 10;
        if (FramePageHeight < 500) { FramePageHeight = 500 }
        window.parent.document.getElementById('ifrm').style.height = FramePageHeight + 'px';
    }
}

// this script is used by the library catalogue page