PROCEDURE erzeuge_datei;
VAR f: FILE OF INTEGER;
    x: INTEGER;
BEGIN
  randomize;
  assign(f,'eingabe.txt');
  rewrite(f);
  REPEAT
    x := random(1000);
    write(f,x);
  UNTIL random(100) = 0;
  close(f);
END;