if (document.images) {
image1 = new Image;
image2 = new Image;
image3 = new Image;
image1.src = 'prodotti/tablo_1.gif';
image2.src = 'prodotti/tablo_2.gif';
image3.src = 'prodotti/tablo_3.gif';
} else {
image1 = '';
image2 = '';
image3 = '';
document.rollimg = '';
}