// JavaScript Document
	/******
	setHeight should be launched onload
	******/
	function setDivHeight(ele1, ele2) {
		//list of DIV ids
		var box = new Array(ele1, ele2);
		for (var x = 0; x < box.length; x++) {
			//determine the tallest div
			if(document.getElementById(box[x]) != null)	{
			h = document.getElementById(box[x]).offsetHeight;
			for(var y = 0; y < box.length; y++) {
				test_h = document.getElementById(box[y]).offsetHeight;
				if (h < test_h) {
					h = test_h;
				}
			}
			}
		}
		for (var x = 0; x < box.length; x++) {
			//set the height of all divs to the tallest
			if(document.getElementById(box[x]) != null){
			document.getElementById(box[x]).style.height = (h+10) + "px";
			}
		}
	}