function swapGif(image_name) 	{
		if (document.images)	{
			document.images[image_name].src = 'graphics/splash2006/' + image_name + '_on.gif';
		} 
	}

	function restoreGif(image_name)	{
		if (document.images)	{
			document.images[image_name].src = 'graphics/splash2006/' + image_name + '.gif';
		}
	}