<!--

function changeOver() {
  var e;

  e = window.event.srcElement;

  if (e.oversrc == null)
     return;

  e.src = e.oversrc;
}

document.onmouseover = changeOver;

function changeOut() {
  var e;

  e = window.event.srcElement;

  if (e.orgsrc == null)
     return;

  e.src = e.orgsrc;
}

document.onmouseout = changeOut;

-->