A tool for my friend Tom. Extracts 4 digit numbers from a body of text.