function swap(img, src) {

  if(document.images) {

	  document.images[img].src = src;

  }

}



function display(txt) {

	window.status=txt

}


