var imagenes= new Array("imagen1.jpg","imagen2.jpg","imagen3.jpg","imagen4.jpg","imagen5.jpg","imagen6.jpg","imagen7.jpg","imagen8.jpg","imagen9.jpg","imagen10.jpg","imagen11.jpg","imagen12.jpg", "imagen13.jpg", "imagen14.jpg", "imagen15.jpg");
var ruta = "gui/portada/"+imagenes[aleatorio(1,15)];

function aleatorio(inferior,superior){
    numPosibilidades = superior - inferior ;
    aleat = Math.random() * numPosibilidades;
    aleat = Math.round(aleat) ;
    return  aleat ;
}

function abrir(url){
	window.open(url,"","")
}