function fixdivsize_3col(first,border1,second,border2,third,border3)
{
		var h1 = document.getElementById(first).offsetHeight;
		var h2 = document.getElementById(second).offsetHeight;
		var h3 = document.getElementById(third).offsetHeight;
		var max = h1;
		if(h2 > max) max = h2;
		if(h3 > max) max = h3;
		document.getElementById(first).style.height = max - border1 + "px";
		document.getElementById(second).style.height = max - border2 + "px";
		document.getElementById(third).style.height = max - border3 + "px";
}

function fixdivsize_2col(first,second)
{
		var h1 = document.getElementById(first).offsetHeight;
		var h2 = document.getElementById(second).offsetHeight;
		var max = h1;
		if(h2 > max) max = h2;
		document.getElementById(first).style.height = max + "px";
		document.getElementById(second).style.height = max + "px";
}

function fixdivsize_2col_micro(first,second)
{
		var h1 = document.getElementById(first).offsetHeight + 40;
		var h2 = document.getElementById(second).offsetHeight + 40;
		var max = h1;
		if(h2 > max) max = h2;
		document.getElementById(first).style.height = max + "px";
		document.getElementById(second).style.height = (max - 20) + "px";
}