function gif_name (name, width, height, path) { 
    this.on = new Image (width, height); 
    if (!path) this.on.src = "/public/" + name + "_on.gif" 
      else this.on.src = path + name + "_on.gif"; 
    this.off = new Image (width, height); 
    if (!path) this.off.src = "/public/" + name + "_off.gif" 
      else this.off.src = path + name + "_off.gif"; 
  }

  function gif_on (imgName,layName,lay2Name) { 
    if ( !layName || isDOM || isDomIE )
      document [imgName].src = gif_name [imgName].on.src;
    else if ( isDomNN && !lay2Name)
      document.layers[layName].document [imgName].src = gif_name [imgName].on.src; 
    else if ( isDomNN && lay2Name )
      document.layers[lay2Name].document.layers[layName].document[imgName].src = gif_name [imgName].on.src; 
  }

  function gif_off (imgName,layName,lay2Name) {
    if ( !layName || isDOM || isDomIE )
      document [imgName].src = gif_name [imgName].off.src;
    else if ( isDomNN && !lay2Name)
      document.layers[layName].document [imgName].src = gif_name [imgName].off.src; 
    else if ( isDomNN && lay2Name )  
      document.layers[lay2Name].document.layers[layName].document[imgName].src = gif_name [imgName].off.src; 
  }

  function load_gif (name, width, height, path) { 
    gif_name [name] = new gif_name (name,width,height,path); 
  } 

  function gif_no_on (imgName) {
    var no=''
    if (arguments.length==2) no=arguments[1]
    document[imgName+no].src = gif_name [imgName].on.src;
  }

  function gif_no_off (imgName) {
    var no=''
    if (arguments.length==2) no=arguments[1]
    document[imgName+no].src = gif_name [imgName].off.src;
  }