[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ć?

[redeemer]

[PHP] pobierz, plaintext 
preg_match_all('/[0-9]{9}/', $input, $matches);
var_dump($matches);
[PHP] pobierz, plaintext