<!--

imgbuffer = new Image;

function highlight(btn) {
  imgbuffer.src = document.images(btn).src
  document.images(btn).src = document.images(btn).lowsrc;
  return true;
}
function restore(btn) {
  document.images(btn).src = imgbuffer.src;
  return true;
}
-->