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