function alertsize(pixels){ pixels+=32; document.getElementById('main_iframe').style.height=pixels+"px"; } -->