Corregir nombres en el menu javascript/ej56html.