function vertHeights() 
{
//document.getElementById("vertLine").style.height = document.getElementById("contents").style.offsetHeight;
d = document.getElementById("contentsLHS");
if(d.offsetHeight){ 
divHeight=d.offsetHeight; 
} 
else if(d.style.pixelHeight){ 
divHeight=d.style.pixelHeight; 
} 
d = document.getElementById("contentsRHS");
if(d.offsetHeight){ 
divHeight2=d.offsetHeight; 
} 
else if(d.style.pixelHeight){ 
divHeight2=d.style.pixelHeight; 
} 
if(divHeight2>divHeight)
divHeight=divHeight2;
document.getElementById("vertLine").style.height = divHeight+"px";
document.getElementById("vertLine2").style.height = divHeight+"px";
}