function roll_over(image)
	{
		document.images[image].src = document.images[image].src.replace(/1.gif$/i, '2.gif');
	}

	function roll_out(image)
	{
		document.images[image].src = document.images[image].src.replace(/2.gif$/i, '1.gif');
	}