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