function menuMouseOver (el)
{
	el.style.color = "#90afff";
}

function menuMouseOut (el)
{
	el.style.color = "#4575bf";
}

function doNav(page)
{
	var pageNav, pageNavOn;

	pageNav = eval("document.getElementById('nav" + page + "')");
	pageNavOn = eval("document.getElementById('nav" + page + "On')");

	pageNav.style.display = "none";
	pageNavOn.style.display = "";
}