// JavaScript Document
function evidenziaRegione(path, nomeRegione) 
{
	imgSrc = path + "mappa_"+ nomeRegione + ".gif";
	document.getElementById("ImgMap").src = imgSrc;
}

function ripristinaItalia(path)
{
	document.getElementById("ImgMap").src = path + "mappa_00.gif";
}