function highLight()
	{
	var aLinks = document.getElementsByTagName("A"), x
	for (x=0;x<aLinks.length;x++)
		{
//		cPage = document.location.href.substr(document.location.href.lastIndexOf("/"))
//		cHref = aLinks[x].href.substr(aLinks[x].href.lastIndexOf("/"))
		cPage = document.location.href
		cHref = aLinks[x].href
		if (cPage.toLowerCase() == cHref.toLowerCase() && aLinks[x].className == "topLinks")
			{//C0C0C0, CCCC00
			aLinks[x].style.backgroundColor="#C0C0C0";
			aLinks[x].style.borderBottom="1pt inset #FFFFFF"
			aLinks[x].style.borderRight="1pt inset #FFFFFF"
			aLinks[x].style.borderTop="1pt inset #666666"
			aLinks[x].style.borderLeft="1pt inset #666666"
			break;
			}
		}
	}

/*
			<!-- ?PHP
			$tmp = explode((strpos($_SERVER['SCRIPT_FILENAME'], "/") > 0 ? "/" : "\\"), $_SERVER['SCRIPT_FILENAME']);
			$filename = $tmp[sizeof($tmp)-1];
			print "file: " . $filename . "<br>";
			?-->
*/