
function patch()
{
	$$(".fancy").each(function(e)
	{
		var tagname = e.tagName.toLowerCase(); 
		
		if (tagname == "h1" || tagname == "h2" || tagname == "h3" || tagname == "h4")
		{
			var text = e.innerHTML;
			var image = new Element("img", 
			{
				"src": "/title2.php?t=" + encodeURIComponent(text) + "&s=" + tagname,
				"title": text, 
				"class": "title_" + tagname
			});
		
			e.update(image);
		}
	});
}

Event.observe(window, "load", patch);