if (document.images) {
   goodFrontHover = new Image(220,176);
   goodFrontHover.src = "good_front_hover.png";
   evilFrontHover = new Image(210,176);
   evilFrontHover.src = "evil_front_hover.png";
}

function hover(imgID) {
  var thisimg = document.getElementById(imgID);
  thisimg.src = thisimg.src.replace(/(\.[a-z0-9]+)$/i,'_hover$1');
}
function off(imgID) {
  var thisimg = document.getElementById(imgID);
  thisimg.src = thisimg.src.replace(/_hover(\.[a-z0-9]+)$/i,'$1');
}
