var main_list = null;
var sub_list = null;

function initHover()
{
	var divs = document.getElementsByTagName("div");
	for (var i=0; i<divs.length; i++) {
		if (divs[i].className == "subnavigation") {
				main_list= divs[i].offsetHeight ;
				for (var j=0; j<divs.length; j++){
					if(divs[j].className == "highlight"){
						divs[j].style.height = main_list+'px';
				}
			}
		}
	}
}

if (window.addEventListener)
	window.addEventListener("load", initHover, false);
else if (window.attachEvent)
	window.attachEvent("onload", initHover);