function initPage()
{
	var nav = document.getElementById("nav");
	var content = document.getElementById("content");
	if (nav && content){
		var nodes = nav.getElementsByTagName("a");
		for (var i=0; i<nodes.length; i++){
			nodes[i].style.height = content.offsetHeight + "px";
		}
	}
}


if (window.addEventListener){
	window.addEventListener("load", initPage, false);
	}
if (window.attachEvent && !window.opera){
	window.attachEvent("onload",initPage);
	}