hmm sollte normal jeder gescheite Editor können , z.B. Notepad++ mit der suchen und ersetzen Funktion , mein Homesite kann das übrigens auch , mit Linux geht das übrigens noch einfacher ohne einen extra Editor zu benutzen mit der cat & sed Funktion
cat alterdateiname.txt | sed 's/4/9/g' > neuerdateiname.txt dieser Befehl ersetzt alle 4ren mit 9nen , für Windows gibts übrigens auch so einen Port dieser sed Funktion
http://sed.sourceforge.net
cu Alfred