/* This is the default	javascript function file for the site */

   	function flipimage(img_name,img_src) {
   			 document[img_name].src=img_src;
   	}