function findElement(name) {
var bgEBI = true;
var element = null;
if(! document.getElementById )
bgEBI = false;
if (bgEBI)
element = document.getElementById(name);
else
element = document.all[element];
return element;}
function correctheight() {
var height = 450;
var tmpheight = 0;
tmpheight = findElement("navmargin").offsetHeight;
if (height < tmpheight)
height = tmpheight;
tmpheight = findElement("rightside").offsetHeight;
if (height < tmpheight)
height = tmpheight;
tmpheight = findElement("articlemargin").offsetHeight;
if(height < tmpheight)
height = tmpheight;
findElement("navmargin").style.height= (height) + "px";
findElement("articlemargin").style.height= (height) + "px";}