gecho ("     if (typeof(document.title)!='undefined'){document.title=mi_titulo;}\n");
