var myimages = [
{ src : "/images/home/image1.jpg",
alt : "View of the bay of Talamanca at dusk",
},

{ src : "/images/home/image2.jpg",
alt : "The terrace at Sa Punta - by night",
},

{ src : "/images/home/image3.jpg",
alt : "View of the bay of Talamanca from the terrace",
},

{ src : "/images/home/image4.jpg",
alt : "The terrace at Sa Punta - by day",
},

{ src : "/images/home/image5.jpg",
alt : "The bar at Sa Punta",
}
];


function random_imglink(){
var ry=Math.floor(Math.random()*myimages.length)
document.write('<img src="'+myimages[ry].src
+'" alt="'+myimages[ry].alt
+' " border=0></a>');
if(myimages.length>1){
myimages[ry]=myimages[myimages.length-1];
myimages.length--;
}
}