// JavaScript Document

//gallery image change

		function changeImage(filename)
		{
	   document.mainimage.src = filename;
		}