<!--
function enter (x)
{
	if ((oldHnav != null))
	{
		oldHnav.style.backgroundColor='';
	}
	oldHnav = x; 
	x.style.backgroundColor='#CBE2FF';
	x.style.color='black';
	x.style.Color='black';
	
	return true;
}

function leave (e, x)
{
	if ((e.toElement == null) || (e.toElement.id != 'hnav'))
		x.style.backgroundColor='';	
		x.style.Color='';
		x.style.color='';
	return true;
}

function enterdarker (x)
{
	if ((oldHnav != null))
	{
		oldHnav.style.backgroundColor='';
	}
	oldHnav = x; 
	x.style.backgroundColor='#5885B1';
	x.style.color='black';
	x.style.Color='black';
	
	return true;
}

function leavedarker (e, x)
{
	if ((e.toElement == null) || (e.toElement.id != 'hnav'))
		x.style.backgroundColor='';	
		x.style.Color='';
		x.style.color='';
	return true;
}

-->