How can I create PHP to search the testing.txt file for each name in the database table and replace the name with the database table id?

So that the text file looks like this:

3 | 1 | 4 | 5
2 | 3 | 6
4 | 5 | 2
and so forth an so on...

I have a mysql table called "nameslist" that looks like this:

---------------------
id | name
---------------------
1  | bob
2  | john
3  | tom
and so forth an so on...

I have a text file called "testing.txt" that looks like this:

tom | bob | mary | paul
john | tom | rachel
mary | paul | john
and so forth an so on...