function MM_reloadPage(init) {  //reloads the window if Nav4 resized
	if (init==true) with (navigator)
		{if ((appName=="Netscape")&&(parseInt(appVersion)==4))
			{document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
	else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);
startList = function() {
//	if (document.all&&document.getElementById) {
//		navRoot = document.getElementById("nav");
//		for (i=0; i<navRoot.childNodes.length; i++) {
//			node = navRoot.childNodes[i];
//			if (node.nodeName=="LI") {
//				node.onmouseover=function() {
//					this.className+=" over";
//				}
//				node.onmouseout=function() {
//					this.className=this.className.replace(" over", "");
//				}
//			}
//		}

// Removed hotlist from inside pages so the code below is commented out
//		hotRoot = document.getElementById("hot");
//		for (i=0; i<hotRoot.childNodes.length; i++) {
//			node = hotRoot.childNodes[i];
//			if (node.nodeName=="LI") {
//				node.onmouseover=function() {
//					this.className+=" over";
//				}
//				node.onmouseout=function() {
//					this.className=this.className.replace(" over", "");
//				}
//			}
//		}
		
//		listRoot = document.getElementById("hl-list");
//		for (i=0; i<listRoot.childNodes.length; i++) {
//			node = listRoot.childNodes[i];
//			if (node.nodeName=="LI") {
//				node.onmouseover=function() {
//					this.className+=" over";
//				}
//				node.onmouseout=function() {
//					this.className=this.className.replace(" over", "");
//				}
//			}
//		}
//	}

	//min-height hack for Safari
	if(document.getElementById){
		var e = document.getElementById('section-nav');
		if(e.offsetHeight){
			if(e.offsetHeight < 213){ e.style.height = "213px"; }
		}
	}
	//end min-height hack

	//content height hack makes the content not overlap the nav bar
//	if(document.getElementById){
//		var content = document.getElementById('content');
//		var nav = document.getElementById('sidebar');
//		var newheight = nav.offsetHeight - 215
//		if(content.offsetHeight < nav.offsetHeight)
//		{content.style.height = newheight + "px";}
//	}
	//end content hack
}

//add wrapper for onload so that old one is not written over
if(window.onload){
	var oldonload = window.onload;
	window.onload = function(){
		oldonload();
		startList();
	};
}
else window.onload = startList;function PopUp(url,windowname,popupoptions) {window.open(url,windowname,popupoptions);}