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

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