function over(imgname)
{
	if(document.getElementById(imgname))
	{
		var src = document.getElementById(imgname).src;
		if(src.indexOf("_h.gif") ==-1)
		{
			document.getElementById(imgname).src = src.replace(".gif", "_h.gif");
		}
	}
}

function out(imgname)
{
	if(document.getElementById(imgname))
	{
		var src = document.getElementById(imgname).src;
		document.getElementById(imgname).src = src.replace("_h.gif", ".gif");
	}
}