function banner(){
images = new Array(8);

for (i=0;i<=8;i++)

{
images[i] = "<img src='../pellicano_files/banner/" + i + ".gif'  border=1 >";

}
index = Math.floor(Math.random() * images.length);

document.write(images[index]);


};


function banner2(){
images = new Array(8);

for (i=0;i<=8;i++)

{
images[i] = "<img src='pellicano_files/banner/" + i + ".gif'  border=1 >";

}
index = Math.floor(Math.random() * images.length);

document.write(images[index]);


};