Parsing di documento HTML con PHP

[Lucas1]

Ciao ragazzi,

Ho necessità di estrarre alcuni dati da pagine html remote (es: www.sito.it/pagina.html). La pagina in questione (con un html mal strutturato) a un certo punto contiene:

<font size=2>3123<tr><td><center><a name

A me interessa estrarre con un parsing PHP solo quel 3123 (che è un valore che cambia nel tempo). Come fare?

Grazie!

[Lucas1]

uppe? ^_^

mi va bene anche una semplice espressione regolare, tanto è un'operazione da fare a seguito di un click, non ogni aggiornametno di pagina (nel qual caso meglio le librerie DOM, o sbaglio?

[Alhazred]

$pattern = "/<font size=2>(.*?)<tr>/";
preg_match_all($pattern,$contenuto_pagina_html,$match);
foreach($match as $value)
   echo $value[1]."
"; //ti stampa tutti i valori che trova 

[Lucas1]

Grazie!

(nel frattempo avevo scritto un'altra domanda ma mi sono risposto da solo! )

alla prox!