[PHP] Wyciąganie numeru tel z dużego pliku Opcje

[d.stp]

Witam, mam plik tekstowy (bardzoo duży kilkadziesiąt mb.) w którym są różne dane w strasznie niepoukładanej formie. Chodzi mi o to, że chciałbym wyciągnąć z nich 9-cyfrowy numer telefonu. Jak mogę to zrobić?

[Pyton_000]

@redeemer raczej, bo Toje wyłapie nr. z np '234523532453245345324' (IMG:style_emoticons/default/smile.gif)

[PHP] pobierz, plaintext 
preg_match_all('/\b(\d{9})\b/', $input, $matches);
var_dump($matches);
[PHP] pobierz, plaintext