hallo,

Es bietet sich an, den Dateiinhalt komplett mit file einzulesen.

also $datei=file(bla.txt");

Dann hast du alles in einem Array, jede Zeile als ein Element.

so kann man das mal sehen, oder?

foreach ($datei as $dateineu) {
echo "$dateineu \n;
}

for(explode(" ", $datei;$datei > 14001;print $datei);

ich glaub meine zusammensetzung ist nicht wirklich sinnvoll?
was sollte man anders machen?
danke