function jhchangepic(picName, picURL) 
 {
   if (document.images)
       {
	document.images[picName].src = picURL;
       }
 }