//-- BEGIN SCRIPTS BY AC
function Obj (id)
{
	return document.getElementById (id);
}

function highlightSelectedLink (link)
{
	var l = Obj (link);
	if (l!=null)
	{
		if (l.href== document.location.href)
			l.style.color="#0093CF";
			l.style.fontSize = "11px";
		/*	l.style.fontWeight = "bold";*/
	}
}