function HoverOver(object)
{
	// Check required as pressing the back button prevents onmouseout
	// from being called
	if (object.src.substr(object.src.length - 9) != ".over.gif")
	{
		object.src = object.src.substr(0, object.src.length - 4) + ".over.gif";
	}
}
function HoverOut(object)
{
	if (object.src.substr(object.src.length - 9) == ".over.gif")
	{
		object.src = object.src.substr(0, object.src.length - 9) + ".gif";
	}
}