// JavaScript Document
function w(m)  {		// Write function.
m = "" + m + "";        //  Make sure that the m variable is a string.
if ("undefined" != m)  {        //  Test for empty write or other undefined item.
    document.write(m);
    }
document.write("<br>");
}

w('<option value="javascript:">- Ir a Secci&oacute;n -</option>');
w('<option value="../../sections/esp/sesamomainframe.html">Principal</option>');
w('<option value="../../sections/esp/libros.html">Libros</option>');
w('<option value="../../sections/esp/indicegeneral.html">Indice General</option>');
w('<option value="../../sections/esp/search.html">Busqueda</option>');
w('<option value="../../sections/esp/links.html">Links</option>');
w('<option value="../../sections/esp/download.html">Descargas</option>');
w('<option value="../../sections/esp/koradi_radio.html">Koradi Radio</option>');
w('<option value="../../sections/esp/multimedia.html">Multimedia</option>');
w('<option value="../../sections/esp/avance.html">Avance</option>');
w('<option value="../../sections/esp/novedades_f.html">Novedades</option>');