// getLongest returns the height of each div defined
function getLongest_1() {
	colLength = new Array(2);
	colLength[0] = document.getElementById("navigationLayer").offsetHeight;
	colLength[1] = document.getElementById("mainLayer").offsetHeight;
	colLength.sort(sortNumeric);
	colLength.reverse();
	return colLength[0];
}

// setLongest sets all the divs defined below to the div with the tallest height
function setLongest() {
	document.getElementById("navigationLayer").style.height = "auto";
	document.getElementById("mainLayer").style.height = "auto";
	divLen = getLongest_1();
	document.getElementById("navigationLayer").style.height = divLen+"px";
	document.getElementById("mainLayer").style.height = divLen+"px";
}
function sortNumeric(a,b)
{
return a - b
}