// distributori.js
<!-- 
{
alt1 = new Image(); alt1.src = "images/dis1g.jpg";
alt2 = new Image(); alt2.src = "images/dis2g.jpg";
alt3 = new Image(); alt3.src = "images/dis3g.jpg";
}
function imageChange(imageID,imageName) {
{
document.images[imageID].src = eval(imageName + ".src");
}
}
//-->