// pre-cache 'filename' button state images

if (document.images) {
var butt_info_up = new Image(88,79)
butt_info_up.src = "../images/butt_info_up.gif"
var butt_info_over = new Image(88,79)
butt_info_over.src = "../images/butt_info_over.gif"
}
if (document.images) {
var butt_new_up = new Image(87,79)
butt_new_up.src = "../images/butt_new_up.gif"
var butt_new_over = new Image(87,79)
butt_new_over.src = "../images/butt_new_over.gif"
}

// function that displays status bar message

function dm(msgStr) {
  document.returnValue = false;
  if (document.images) { 
     window.status = msgStr;
     document.returnValue = true;
  }
}
// functions that swap images

function di(id,name){
  if (document.images) document.images[id].src=eval(name+".src");
}