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