BN = navigator.appName;
      BV= parseInt(navigator.appVersion);

      	
      if (BN == "Netscape" && BV >= 3) V = "n3";
      else if (BN == "Microsoft Internet Explorer" && BV >= 4) V = "n3";
      else V = "n2";
      function makeArray(size)
      {
        this.length=size;
        for (var i = 0; i <= size; i++)
        {
          this[i]= 0;
        }
        return this;
      }
      
      images = new makeArray(NO_BUT+1);

      for(var i=1; i <= NO_BUT; i++)
      {
        images[i] = "No_"+i;
      } 


      /* Functions that swaps down images. */		
      function onlight(index) {
        if (V == "n3") {
          document [images[index]].src = URL_PATH+mouse_on;         
	}
      }
			
      function offlight(index) {
	if (V == "n3") {
          if (index != parent.frames[0].tag) {
	    document [images[index]].src = URL_PATH+passive;
          }
          else {
            for (var i=1; i<= NO_BUT; i++){
              document[images[i]].src = URL_PATH+passive;
            }
            document[images[index]].src = URL_PATH+active;
          }             
	}
      }

      function selector(x) {
        window.top.frames[0].tag = x;
      }