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