Типизированный файл и сортировка - Pascal

uses crt;
const n=20;
type mas=array[1..2*n] of integer;
procedure sheiker(var m:mas);
var d,i,j,k,x:integer;
begin
d:=1; i:=0;
for k:=n-1 downto 1 do { k - количество сравниваемых пар }
 begin
  i:=i+d;
  for j:=1 to k do
   begin
    if (m[i]-m[i+d])*d>0 then
     {меняем местами соседние элементы}
      begin
       x:=m[i];
       m[i]:=m[i+d];
       m[i+d]:=x;
      end;
     i:=i+d;
    end;
   d:=-d; {меняем направление движения на противоположное}
 end;
writeln('Отсортированный массив');
for i:=1 to n do
write(m[i]:4);
writeln;
end;
procedure vstavka(var m:mas;var k:integer);
var b,i,j:integer;
begin
write('Введите число для вставки b=');
readln(b);
k:=k+1;
if b>=m[k-1] then m[k]:=b
else
 begin
  for i:=1 to k-1 do
   if m[i]>=b then
    begin
     for j:=k downto i+1 do
     m[j]:=m[j-1];
     m[i]:=b;
     break;
    end;
 end;
writeln('Всиавка числа ',b);
for i:=1 to k do
write(m[i]:4);
writeln;
end;
 
 
var f:file of integer;
    m:mas;
    i,a,k,p:integer;
begin
randomize;
assign(f,'chisla');
rewrite(f);
for i:=1 to n do
 begin
  a:=random(100);
  write(f,a);
 end;
writeln('Последовательность');
reset(f);
for i:=1 to n do
 begin
  read(f,a);
  write(a:4);
  m[i]:=a;
 end;
close(f);
writeln;
sheiker(m);
repeat
write('Сколько чисел вставить от 1 до 5 k=');
readln(k);
until k in [1..5];
p:=n;
for i:=1 to k do
vstavka(m,p);
end.