Hola caricatos,
La busqueda la hago con una funcion JavaScript que me crea un archivo xml y que luego parseo con otro xsl para formar el arbol y resaltar las palabras buscadas y ademas añadirles el <a name='n1'> por ejemplo.
Con el location.href,no me hace nada.