Textdatei zerschneiden?

Hallo!

Ich ahbe eine Textdate namens "db.txt" die insgesamt 10.000 Zeilen enthält.
Wie kann ich diese nun so aufteilen, dass alle 500 Zeilen eine neue Datei angelegt wird?
Also so, dass am Ende 20 Dateien da sind, die "db_1.txt", "db_2.txt", "db_3.txt",.... heissen und je 500 Zeilen drinne sind?

Einen Zähler mitlaufen lassen und wenn du 500 Datensätze hast die nächsten 500 einfach in ne neue Datei speichern...

die funtionen dazu stehn hier:manual

ist recht einfach
ungetestet!

PHP-Code:

$datei = file('db.txt');
$x = 1; // Erweiterung im dateinamen!!
$anz = count($datei);
$string = '';
for($i=0;$i<$anz;$i++) {
$string = $string ."\n".$datei[$i];
if(int($i/500)) {
$fp = fopen("db_".$x.".txt","w");
fwrite($fp,$string);
fclose($fp);
unset($string);
$x++;
}
} 


ob es bei 10000 aber auch super läuft weiß ich nicht.. mfg

Fatal error: Call to undefined function: int() in E:\php5xampp-dev\htdocs\500\zeilen.php on line 8

Aber cih weis nciht, warum!

sry war halt ungetestet

PHP-Code:

$datei = file('db.txt');
$x = 1; // Erweiterung im dateinamen!!
$anz = count($datei);
$string = '';
for($i=0;$i<$anz;$i++) {
$string = $string ."\n".$datei[$i];
if($i%5==0) {
$fp = fopen("db_".$x.".txt","w");
fwrite($fp,$string);
fclose($fp);
unset($string);
$x++;
}
} 


mfg

PHP-Code:

if($i%5==0) 


oder halt

PHP-Code:

if ( 0 ==  bcmod($i,500)) 


Es ging, danke!