// JavaScript Document
 function highlight(id)
      {
         elm = document.getElementById('menu_image_' + id);
         if (!elm) return;
         if (elm.className.indexOf('highlighted') > -1) return;
         elm.src = elm.src.replace('_off.', '_on.');
      }
   
      function shadowlight(id)
      {
         elm = document.getElementById('menu_image_' + id);
         if (!elm) return;
         if (elm.className.indexOf('highlighted') > -1) return;
         elm.src = elm.src.replace('_on.', '_off.');
      }