//delete this file if top left menu has been ok. this was the old one. new one is menu.js
  function mOvr(src,clrOver) {
    if (!src.contains(event.fromElement)) {
   src.style.cursor = 'default';
   src.bgColor = clrOver;
 }
  }
  function mOut(src,clrIn) {
 if (!src.contains(event.toElement)) {
   src.style.cursor = 'default';
   src.bgColor = clrIn;
 }
  }