<!-- hide from old browsers

     {
      but1_off      = new Image (15,220);
      but1_off.src  = "images/projects_off.gif";
      but1_on       = new Image (15,220);
      but1_on.src   = "images/projects_on.gif";

      but2_off      = new Image (15,220);
      but2_off.src  = "images/seminars_off.gif";
      but2_on       = new Image (15,220);
      but2_on.src   = "images/seminars_on.gif";

      but3_off      = new Image (15,220);
      but3_off.src  = "images/subscribe_off.gif";
      but3_on       = new Image (15,220);
      but3_on.src   = "images/subscribe_on.gif";

      but4_off      = new Image (15,220);
      but4_off.src  = "images/directory_off.gif";
      but4_on       = new Image (15,220);
      but4_on.src   = "images/directory_on.gif";

      but5_off      = new Image (15,220);
      but5_off.src  = "images/publications_off.gif";
      but5_on       = new Image (15,220);
      but5_on.src   = "images/publications_on.gif";

      but6_off      = new Image (15,220);
      but6_off.src  = "images/publications_submit_off.gif";
      but6_on       = new Image (15,220);
      but6_on.src   = "images/publications_submit_on.gif";

      but7_off      = new Image (15,220);
      but7_off.src  = "images/news_off.gif";
      but7_on       = new Image (15,220);
      but7_on.src   = "images/news_on.gif";
     }

  function SwitchGif (imgDocID,imgObjName)
     {
      if      (navigator.appName == "Netscape" && parseInt(navigator.appVersion) >=3)
              document.images[imgDocID].src = eval(imgObjName + ".src")

      else if (navigator.appName != "Netscape" && parseInt(navigator.appVersion) >=4)
              document.images[imgDocID].src = eval(imgObjName + ".src")
     }
// end hiding -->