function autoheight(sid) {var gid=document.getElementById(sid);gid.height=document.documentElement.offsetHeight-5;}
window.setInterval("autoheight(\"infrm\")",100);