// JavaScript Document

var prefix = "/immagini/headers/";

img_random = new Array(); //viene creato l'array
img_random [0]="000.jpg";
img_random [1]="001.jpg";
img_random [2]="002.jpg";
img_random [3]="003.jpg";
img_random [4]="004.jpg";

var random_idx = Math.abs(Math.round(Math.random() * 10) - img_random.length);
if (random_idx >= img_random.length) { random_idx = 0 }
//document.write(img_random.length+"  "+ random_idx);
document.write("<img src=\"" + prefix + img_random[random_idx] + "\" width=\"590\" height=\"150\" />")