if (document.images) {
  imageextras1on = new Image();
  imageextras1on.src = "navbutns_extras/bt_extras_25th_on.gif";
  
  imageextras1off = new Image();
  imageextras1off.src = "navbutns_extras/bt_extras_25th.gif";
  
}

function changeImages() {
  if (document.images) {
    for (var i=0; i<changeImages.arguments.length; i+=2) {
      document[changeImages.arguments[i]].src = eval(changeImages.arguments[i+1] + ".src");
    }
  }
}