// Función que abre el enlace de la etiqueta value.

function destino(){

url = document.accesos_directos.enlaces.options[document.accesos_directos.enlaces.selectedIndex].value;
// Indica en la ventana en la que tiene que abrir el enlace
id = document.accesos_directos.enlaces.options[document.accesos_directos.enlaces.selectedIndex].id;

if (id=="abrir_en_nueva_ventana") window.open(url);
if (id=="abrir_en_la_misma_ventana") window.location = url;


}