Hola bonzo_bcn:
Si estás cargando tu archivo .txt externamente, escribe así los nombres:
texto=<a href="luis.html">Luis</a><br><a href="juan.html">Juan<(a><br><a href="pedro.html">Pedro</a><br><a href="pablo.html">Pablo</a>
Espero haberte sido de ayuda.