function Resize ()
{
document.getElementById ('theframe').height = document.body.clientHeight - 123;
document.getElementById ('menubg').height = document.body.clientHeight;
}