function resize()
{
document.body.style.height = 10 + document.getElementById('bodybox').offsetHeight + document.getElementById('header').offsetHeight;
}
window.setInterval("resize()",2000);