script to extract phone numbers

I’m looking for a script to extract phone numbers from a text file. The phone are comes like this XXX-XXX XX XX and always starts with “m 07”.
Maybe someone has a flexible text parsing script that can be used?

Because we’re discussing an similar post already today you can more info and explanation here

You’re probably looking for something like this:

 every paragraph of (do shell script "egrep -o '[0-9]{3}-[0-9]{3} [0-9]{2} [0-9]{2}' <<< " & quoted form of theText)