// JavaScript Document

	function changeImage(image, source)
	{
	document.images[image].src = source;
	}