function resizeIframeHeight( h ) {
document.getElementById( 'iframe_intg_container'
).style.height = h + 'px';
};