// JavaScript Document
	function myOnClick(whichImage) {
		document.getElementById('welcome').src=whichImage;}
	/*
	function myMouseOut() {
          document.getElementById('image15').src='images/large/image-15.jpg';}
		  */