function change_height()
{
var el = document.getElementById("showbox");
el.style.pixelHeight=document.body.offsetHeight-34;
}