function overlay(){elem=document.getElementById("overlay");elem.style.visibility="hidden";elem=document.getElementById("bodydiv");elem.style.visibility="visible";}
function calcHeight(){var the_height=document.getElementById('the_iframe').contentWindow.document.body.scrollHeight;document.getElementById('the_iframe').height=the_height;}