// JavaScript Document

	function changeImageOver(picName)
	{
		document.getElementById(picName).src = "images/" + picName + "down.gif";
	}
	function changeImageOut(picName)
	{
		document.getElementById(picName).src = "images/" + picName + ".gif";
	}