function activate(to_act)
      {
        document.images[to_act].src= "./p/menu/"+to_act+"_hi.gif";
      }
      function deactivate(to_act)
      {
        document.images[to_act].src= "./p/menu/"+to_act+"_lo.gif";
      }