oldHnav= null;
function off(i)
{
  if ((event.toElement == null) || (event.toElement.id != 'hnav'))
  	{
  		i.style.backgroundColor=''
  	}
}

function on(i)
{
  if (oldHnav != null)
  {
	  	oldHnav.style.backgroundColor=''
  }
  oldHnav=i;
  i.style.backgroundColor='#6699FF';
}