Hallo,

ich habe einige .html Dateien bei denen immer diese Zeile enthalten ist:

<!-- Mirrored from xxx.yyy.com/cgi-bin/xxx.cfg/php/enduser/std_adp.php?p_faqid=ZZZZZ by HTTrack Website Copier/3.x [XR&CO'2007], Wed, 21 May 2008 08:47:37 GMT -->

Ich benötige die fünfstellige Zahl ZZZZZ (die bei jeder Datei anders ist) im Dateinamen. Bevorzugt wäre, an dessen Anfang und mit _ vom eigentlichen Dateinamen abgesondert. Derzeit sieht der Dateiname so aus:

std_adp76c3.html und das soll dann ZZZZZ_std_adp76c3.html werden.

Wie mache ich das am einfachsten? Mir ist egal, ob mit PHP oder perl.

Danke für die Hilfe!