  <!--
  // Here is the mouse over code, but only nav3+ and IE 4+ support it
  browserName = navigator.appName;
  browserVersion = parseInt(navigator.appVersion);
  if (browserName == "Netscape" && browserVersion >= 3) version = "nav3";
  else if (browserName == "Microsoft Internet Explorer" && browserVersion >= 4) version = "nav3";
  else version= "nav2";
  if (version == "nav3")  {
    logo = new Image(108,93);
    logo.src = "logo.gif";
    menu = new Image(240,1000);
    menu.src = "menu.gif";
    menu_tile = new Image(240,12);
    menu_tile.src = "menu_tile.gif";
    mbegin = new Image(128,8);
    mbegin.src = "mbegin.gif";
    mmiddle = new Image(128,8);
    mmiddle.src = "mmiddle.gif";
    mend = new Image(128,8);
    mend.src = "mend.gif";

    about = new Image(116,22);
    about.src = "u_about.png";
    about_down = new Image(116,22);
    about_down.src = "d_about.png";
    tech = new Image(116,22);
    tech.src = "u_tech.png";
    tech_down = new Image(116,22);
    tech_down.src = "d_tech.png";
    appl = new Image(116,22);
    appl.src = "u_appl.png";
    appl_down = new Image(116,22);
    appl_down.src = "d_appl.png";
    prod = new Image(116,22);
    prod.src = "u_prod.png";
    prod_down = new Image(116,22);
    prod_down.src = "d_prod.png";
    gall = new Image(116,22);
    gall.src = "u_gall.png";
    gall_down = new Image(116,22);
    gall_down.src = "d_gall.png";
  }
  function buttonOn(imageName) {
    if (version == "nav3")
      document.images[imageName].src = eval(imageName+"_down.src");
  }
  function buttonOff(imageName) {
    if (version == "nav3")
      document.images[imageName].src = eval(imageName+".src");
  }
  //-->