function swap(img, src) {
  if(document.images) {
	  document.images[img].src = src;
  }
}

function display(txt) {
	window.status=txt
}