<!--
function modifica_immagine (nome, tipo)
{
	var img_selezionata = document.images[nome].src;
	new_src = img_selezionata.slice(0,img_selezionata.lastIndexOf('.'));
	new_src = new_src + "_hover." + tipo;
	document.images[nome].src = new_src;
	return;			
}

function reset_immagine (nome, tipo)
{
	var img_selezionata = document.images[nome].src;
	new_src = img_selezionata.slice(0,img_selezionata.lastIndexOf('_'));
	new_src = new_src + "." + tipo;
	document.images[nome].src = new_src;
	return;			
}
//-->