//highlight effects for links

function highlightLink( linkName )
{
	document.getElementById( linkName ).src = "images/over/" + linkName + ".gif";
	document.body.style.cursor = 'pointer';
}

function unHighlightLink( linkName )
{
	document.getElementById( linkName ).src = "images/" + linkName + ".gif";
	document.body.style.cursor = 'default';
}