<!--
function swap_image(i,j) {
   document.images[i].src = j
}
// -->