<!--
function modifica_immagine (indice)
{
	img_selezionata= document.images[indice].src;
	img_selezionata = img_selezionata.slice(0,img_selezionata.lastIndexOf('.'));
	img_selezionata = img_selezionata + "_hover.gif"
	path = img_selezionata;
	document.images[indice].src = path;
			
}

function reset_immagine (indice)
{
	img_selezionata= document.images[indice].src;
	img_selezionata = img_selezionata.slice(0,img_selezionata.lastIndexOf('_'));
	img_selezionata = img_selezionata + ".gif"
	path = img_selezionata;
	document.images[indice].src = path;
			
}


//-->