Codigo web Para buscar en un archito txt o html

Hola amigos, pues tengo una duda muy grande en realidad no se mucho de codigos html y java
tengo una pagina web de ayuda relacionada con temas de pasaporte de mi pais, y logre conseguir una lista en formato pdf que tiene la lista de personas que pueden ir a buscar su pasaporte a la oficina pero la lista es muy larga y no esta ordenada y muchos usuarios se confunden de como buscar mi intencion es la siguiente

ofrecer en mi web una forma mas facil de buscar si ya esta disponible sus pasaportes o no
la idea es crear una cuadro de busqueda donde ellos ingresen su numero de cedula y les diga si estan en la lista o no
ya tengo el pdf en un archivo .txt ordenados uno por linea. quisiera que al poner su cedula la pagina buscara si se encuentra en la lista y diera una respuesta, el formato del txt es asi

Nª estado ciudad cedula nombre y apellido
207384 Bolivar Puerto Ordaz 8.354.791 miguel calzadilla
207385 Bolivar Puerto Ordaz 8.355.539 RAMON RIVAS

quisiera saber si hay manera de que al poner la cedula en el buscador direa la respuesta de esa forma osea la linea completa con los datos de la persona ya que el txt tiene a una persona por linea.!
pero no se nada de nada quisiera saber si ya tienen un codigo armado que haga eso.! yo solo se lo basico de web pero no crear ese tipo de codigos. gracias de antemano...

hola que tal, creo que buscas algo parecido a esto:

tenemos un curso que se explica como hacerlo pero con php y base de datos.. para buscarlo en un txt en un poco diferente pero supongo que usando file_get_contents

te dejo un ejemplo de como hacer con php y base de datos, por otra parte si lo necesitas con .txt si o si espera un poco por si alguien mas contesta :P

https://datoweb.com/post/2509/buscador-en-tiempo-real-con-ajax-y-php-a-base-de-datos