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='#C0C0C0'; 
}