<script>
if((div1.offsetHeight + div3.offsetHeight+145 )<document.documentElement.clientHeight )
{
div1.style.height= ( document.documentElement.clientHeight-div3.offsetHeight-145 )+”px”;
}
</script>