Tiedon hakeminen tiedostosta

Mulla on tiedosto nimeltä nimet.txt ja se sisältää omalla rivillään tunnuksen ja nimen eli,
esim: '001 | Matti Mainio'.

Haluan hakea nimen tunnuksen perusteella lomakkeelta tähän malliin:

Anna tunnus:




Miten saan tulostettua tuon tietyn nimen tunnuksen mukaan?
Tulostus olisi, esim. Matti Mainio(001).

Jotenkin näin se vissiin alkaisi ja jotain funktiota tarvitsisi, mutta kun ei päässä nyt pyöri :)

$tiedosto = fopen("nimet.txt", "r");
$tiedot = fgets($tiedosto);
fclose($tiedosto);
echo $tiedot;

Ja tämä siis PHP:llä toteutettuna. Kiitos!