var myimages = [
{ src : "/images/restaurant/image1.jpg",
alt : "Risotto with baby asparagus tips and shaved black truffle",
},

{ src : "/images/restaurant/image2.jpg",
alt : "Lime-infused lobster tail served with Wasabi",
},

{ src : "/images/restaurant/image3.jpg",
alt : "View of dining terrace at night",
},

{ src : "/images/restaurant/image4.jpg",
alt : "Sa Punta terrace at dusk",
},

{ src : "/images/restaurant/image5.jpg",
alt : "Alternate view of terrace",
},

{ src : "/images/restaurant/image6.jpg",
alt : "Sun reflecting on the bay of Talamanca",
}
];


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--;
}
}