Salve ragazzi!

Ho un problemino di Replace che proprio non riesco a risolvere magari voi potete darmi un suggerimento.
Ho in un file TXT alcuni link di questo tipo generati dinamicamente:
Codice PHP:
pagina.asp?ID=10
pagina
.asp?ID=11
pagina
.asp?ID=13
... 
Vorrei stamparli a video trasformandoli in:
Codice PHP:
0paginaID10.htm
0paginaID11
.htm
0paginaID13
.htm
... 
Per ora ho utilizzato il replace così
Codice PHP:
Replace(contenutoTXT,"pagina.asp?ID=","0paginaID"
Ma chiaramente mi manca l'aggiunta dell'estensione ".htm" dopo l'ID che è dinamico e quindi indeterminabile a priori.

Avevo pensato di modificare i link originali aggiungendo un secondo parametro fittizio, tipo
Codice PHP:
pagina.asp?ID=10&est
pagina
.asp?ID=11&est
pagina
.asp?ID=13&est
... 
Per poi fare un secondo replace
Codice PHP:
Replace(contenutoTXT,"&est",".htm"
Però mi sembra un po' ARRANGIATA come soluzione e poi dovrei modificare il sorgente originale e poco mi garba.
Come altro potrei fare?