<!--
var restoring = new Array();

function img_over(which, towhat){
  restoring[which] = which.src;
  which.src = towhat;
}

function img_out(which){
  which.src = restoring[which];
}
-->
