function resizeIframe(iframe_element, std_height) {
    //change the height of the iframe
    var new_height = 0;

    if ((document.documentElement.clientHeight - std_height) > 100)
        new_height = document.documentElement.clientHeight - std_height;
    else
        new_height = 400;

    iframe_element.height = new_height;
}