//Esta función se utiliza para abrir una nueva ventana controlando el tamaño de la misma
//Valores de entrada: la URL de la página que queremos visualizar, el ancho y el alto que queremos para la ventana y
//y el nombre de la ventana

var ventana=null;

function abre_ventana(URL,ancho,alto) 
{ 
 var propiedades="top=130,left=200,toolbar=no,location=no,status=no,menubar=no,scrollbars=no,resizable=no,width=" + ancho + ",height=" + alto;
 var nombreventana="foto";
 
 if(ventana!=null && !ventana.closed)
 {
  ventana.close();
 }
	
 ventana=window.open(URL,nombreventana,propiedades); 
 ventana.focus();
} 

function cierra_ventana()
{
 ventana.close();
}


//Para añadir a favoritos tanto en IE como en Firefox
function bookmarksite(title, url)
{
 if(document.all)
  window.external.AddFavorite(url, title);
 else if(window.sidebar)
  window.sidebar.addPanel(title, url, "")
}


function nav()
{
	var w = document.accesos.lista.selectedIndex;
	var url_add = document.accesos.lista.options[w].value;
 window.location.href = url_add;
}