function highlightNavLink(thelink)
{
	document.getElementById(thelink + 'background').style.backgroundColor = "#FEFFC6";
	document.getElementById(thelink + 'link').style.color = "#000000";
}

function unhighlightNavLink(thelink)
{
	document.getElementById(thelink + 'background').style.backgroundColor = "#666666";
	document.getElementById(thelink + 'link').style.color = "#FFFFFF";
}