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

function gif_on (imgName,layName,lay2Name) { 
  if (typeof(is_loaded)=='boolean' && is_loaded==false) return
  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_over (imgName,layName,lay2Name) { 
  if (typeof(is_loaded)=='boolean' && is_loaded==false) return
  if ( !layName || isDOM || isDomIE )
    document [imgName].src = gif_name [imgName].over.src;
  else if ( isDomNN && !lay2Name)
    document.layers[layName].document [imgName].src = gif_name [imgName].over.src; 
  else if ( isDomNN && lay2Name )
    document.layers[lay2Name].document.layers[layName].document[imgName].src = gif_name [imgName].over.src; 
}

function gif_off (imgName,layName,lay2Name) {
  if (typeof(is_loaded)=='boolean' && is_loaded==false) return
  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); 
}