// Incluimos la hoja de estilo para el menu que utiliza javascript
   document.write('<link  media="screen" href="./estilo/JS.css"  type="text/css"  rel="stylesheet" id="JS"/>');