function setupNav() {
	this.nav = document.getElementById("navigation");
	nav.frame = document.getElementById("navFrame");
	nav.content = document.getElementById("navHolder");
	// hacks/fix to get elements to display (won't show up in IE without)
	var st1 = nav.style;
	var st2 = nav.frame.style;
	st1.position = st2.postition = "absolute";
	st1.clip = st2.clip = "rect(auto,auto,auto,250px)";
	st2.width = "260px";
	// Add functions to the nav
	nav.content.onclick = nav.content.onmouseover = function(e) {
		if (e && e.stopPropagation) e.stopPropagation();
		else event.cancelBubble = true;
	}
	nav.onclick = NavClick;
	nav.onmouseover = NavMouseOver;
	nav.onmouseout = NavMouseOut;
}
// Set up the nav
addListener(window, "load", setupNav);

function NavClick() {
	nav.open = !nav.open;
	var st1 = nav.style;
	var st2 = nav.frame.style;
	if (nav.open) {
		st1.left = st2.left = "0px";
		st1.clip = st2.clip = "rect(auto,auto,auto,auto)";
		st1.backgroundPosition = "right bottom";
	} else {
		st1.clip = st2.clip = "rect(auto,auto,auto,250px)";
		st1.left = st2.left = "-250px";
		st1.backgroundPosition = "right top";
	}
}

function NavMouseOver() {
	if (!nav.open) nav.style.backgroundPosition = "right -410px";
	else nav.style.backgroundPosition = "right -820px";
}

function NavMouseOut() {
	if (!nav.open) nav.style.backgroundPosition = "right top";
	else nav.style.backgroundPosition = "right bottom";
}