function highlightLink(id, className)
{
	document.getElementById(id).className=className;
}
function unhighlightLink(id, className)
{
	document.getElementById(id).className=className;
}