var theImages_dest = new Array() 
theImages_dest[0] = 'imagenes/destacados/img-1.gif'
theImages_dest[1] = 'imagenes/destacados/img-2.gif'

var j = 0
var p = theImages_dest.length;

var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImages_dest[i]
}

var whichImage_dest = Math.round(Math.random()*(p-1));
function showImage_dest(){
document.write('<img width="133" height="56" alt="Cabaņas. Destacados (Alt + D)" title="Cabaņas. Destacados (Alt + D)" src="'+theImages_dest[whichImage_dest]+'">');
}