<form action='warenkorb.php' method='POST'>
 <input type='hidden' name='artikel' value='12345'>
 <input type='text' size='1' maxlength='3' name='anzahl' value='1'>
 <input type='submit' value=' In den Warenkorb '>
</form>

extract($_POST); 
extract($_GET);

$filename = "warenkorb.txt"; // das ist Warenkorb
$warenkorb = file($filename);  // Datei in ein Array auslesen
$size = sizeof($warenkorb);    // zählt die Elemente des Warenkorbes

if ($size < 1) // wenn der Warenkorb leer ist
{
 $fp = fopen($filename,"r+");   // Datei zum Schreiben öffnen
 if ($anz && $art)
 {
  if (substr($anz,1,1) == "") { $anz = "0".$anz; } // hier wird die Artikelnummer
  if (substr($anz,2,1) == "") { $anz = "0".$anz; } // 3stellig gemacht

  $string = $anz. "|" .$art. "\n";     // Eine Zeile erzeugen und dann
   fwrite($fp,$string);            // $string in die Datei schreiben
  fclose($fp);                     // Danach Datei schließen

 print "<meta http-equiv=\"refresh\" content=\"0; URL=artikel.php\">";
 // danach geht es zurück.
 }
}