/* Questo script consente il cambio
   automatico d'immagine al passaggio
   del mouse
   Creato da Roberto Knerich
   il 6 Dicembre 2005
   */
i = 0;
function chImg(name,imgname) {
	imgoriginal = "images/" + imgname + ".gif";
   imgchange = "images/" + imgname + "2" + ".gif";
		if (i == 1) {
			document.getElementById(name).src = imgoriginal;
			i=0;
			}
		else {
			document.getElementById(name).src = imgchange;
		   i=1;
			}
}