function objmenu(subd, href, texto) {
  this.subd = subd;
  this.href = href;
  this.texto = texto;
} 

var menu = new Array();
menu = new Array(
  new objmenu("", "index", "Principal"),
  new objmenu("", "grup", "Grupo"),
  new objmenu("", "alta", "Hazte socio"),
  new objmenu("", "hist", "Historia"),
  new objmenu("", "activ", "Actividades"),
  new objmenu("", "noticias", "Noticias"),
  new objmenu("", "docs", "Documentos"),
  new objmenu("", "fotos", "Fotos"),
  new objmenu("", "ref", "Refugio"),
  new objmenu("", "lista", "Lista"),
  new objmenu("", "links", "Enlaces"),
  new objmenu("btt", "btt", "Ciclismo"),
  new objmenu("cultura", "cult", "Cultura"),
  new objmenu("escalada", "escal", "Escalada"),
  new objmenu("espeleo", "espel", "Espeleología"),
  new objmenu("marchas", "march", "Marchas"),
  new objmenu("material", "mater", "Material"),
  new objmenu("rocod", "rocod", "Rocódromo")
);

encontrado = 100;
for (i in menu) {
  if (menu[i].href == docid) encontrado =  i;
}
with (document) {
  write('<p><center>');
  write('<font face="Arial" color="#005000" size="0"><b>');
}

if (encontrado==100) document.write('<a href="javascript:history.back()">[Regresar Atr&aacute;s]</a><br>');
for (i in menu) {
  if (menu[i].href == 'btt') document.write('<br>Vocal&iacute;as: ');
  if (docid==menu[i].href) 
    document.write('<font color="#00AA00">&gt' + menu[i].texto + '&lt;</font>');
  else {
    document.write('[<a href="');
	if (encontrado == 100) document.write('../');
        else if (menu[encontrado].subd != '') document.write('../');
	if ((i != encontrado) && (menu[i].subd != '')) document.write(menu[i].subd + '/');
	document.write(menu[i].href + '.html" class=indice>' + menu[i].texto + '</a>]');
  }
}
document.write('</b></font></center>');