// functions to help display multiple divs with the same height

function sortNumber(a,b) {
	return a - b;
}
function getLongest_1() {
	var colLength = new Array();
	colLength[0] = document.getElementById("leftmenu").offsetHeight;
	colLength[1] = document.getElementById("content").offsetHeight;
	colLength.sort(sortNumber);
	colLength.reverse();
	return colLength[0];
}
function setLongest() {
	var divLen = getLongest_1();
	document.getElementById("leftmenu").style.height = divLen+"px";
	document.getElementById("content").style.height = divLen+"px";
};