Consider a list of numbers:
1 2 3 17 8 9 23 ...etc.
I want to replace these numbers with another number, based on another list:
1001=1 1002=2 1003=3 1004=8 1005=23 1006=9 1007=17
What is the quickest way to do this? (like using regular expression in Notepad++, etc.)