<!--
function make_height(l,r,p1,p2)
{
rheight = document.getElementById(r).offsetHeight;
lheight = document.getElementById(l).offsetHeight;
	if (rheight > lheight && rheight > 1)
	{
	document.getElementById(l).style.height = rheight + 'px';
	document.getElementById(p1).style.paddingTop = (rheight-lheight-1) + 'px';
	}
	else if (lheight > rheight && lheight > 1)
	{
	document.getElementById(r).style.height = lheight + 'px';
	document.getElementById(p2).style.paddingTop = (lheight-rheight-1) + 'px';
	}
}
-->