function menured(img)
	{            
		src = img.src;
		r = /red.gif$/;
		if (r.test(src))
			src = src.replace("_red.gif", ".gif");
		else
			src = src.replace(".gif", "_red.gif");

		img.src = src;
	}

	function menuredlink(a)
	{      
		tr = a.parentNode.parentNode;
		imgs = tr.getElementsByTagName("img");
		menured(imgs[0]);
	}