function addTitleTagsOnAreas()
{
	var areas = document.body.getElementsByTagName("AREA");
	for(i=0; i<areas.length; i++)
	{
		var area=areas[i];
		if(area.id.indexOf("HTMLMapMaker")>0)
			area.title=area.alt;
	}
}