	sfHover = function() {
		// suckerfish menu code for IE6
		var sfEls = document.getElementById("nav").getElementsByTagName("LI");
		for (var i=0; i<sfEls.length; i++) {
			sfEls[i].onmouseover=function() {
				this.className+=" sfhover";
			}
			sfEls[i].onmouseout=function() {
				this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
			}
		}
	}
	if (window.attachEvent) window.attachEvent("onload", sfHover);	

	function heightsHome() {
		// make the columns the same height on the home page
		var bodyHomeHeight = document.getElementById("bodyHome").offsetHeight;
		var menuBarHeight = document.getElementById("menuBar").offsetHeight;
		if (bodyHomeHeight < 332) {
			document.getElementById("bodyContent").style.height = "302px";
			bodyHomeHeight = document.getElementById("bodyHome").offsetHeight;
		}
		if (menuBarHeight < bodyHomeHeight - 1) {
			var heightDiff = bodyHomeHeight - menuBarHeight;
			heightDiff = heightDiff + 6;
			document.getElementById("menuAddress").style.marginTop = heightDiff + "px";
		} else {
			var heightDiff = menuBarHeight - bodyHomeHeight;
			heightDiff = heightDiff + 15;
			document.getElementById("bodyContent").style.paddingBottom = heightDiff + "px";
		
		}
	}

	function heights() {
		// make the columns the same height
		var bodyHeight = document.getElementById("body").offsetHeight;
		var menuBarHeight = document.getElementById("menuBar").offsetHeight;
		if (bodyHeight < 332) {
			document.getElementById("bodyContent").style.height = "302px";
			bodyHeight = document.getElementById("body").offsetHeight;
		}
		if (menuBarHeight < bodyHeight - 1) {
			var heightDiff = bodyHeight - menuBarHeight;
			heightDiff = heightDiff + 6;
			document.getElementById("menuAddress").style.marginTop = heightDiff + "px";
		} else {
			var heightDiff = menuBarHeight - bodyHeight;
			heightDiff = heightDiff + 15;
			document.getElementById("bodyContent").style.paddingBottom = heightDiff + "px";
		
		}
	}
	
	function displayEmail() {
		document.write(String.fromCharCode(60,97,32,104,114,101,102,61,34,109,97,105,108,116,111,58,105,110,102,111,64,105,115,111,115,112,97,114,116,110,101,114,115,104,105,112,46,99,111,109,34,62,105,110,102,111,64,105,115,111,115,112,97,114,116,110,101,114,115,104,105,112,46,99,111,109,60,47,97,62));
	}

