Вставка элемента в массив - Pascal ABC

type mas=array[1..100] of integer;
procedure vstavka(var a:mas;x,k,n:integer);
var i:integer;
begin
for i:=n downto k+1 do
a[i]:=a[i-1];
a[k]:=x;
end;
var a:mas;
    n,x,k,i:integer;
begin
repeat
write('Введите размер массива от 3 до 100 n=');
readln(n);
until n in [3..100];
randomize;
writeln('Исходный массив');
for i:=1 to n do
 begin
  a[i]:=10+random(80);
  write(a[i]:4);
 end;
writeln;
write('Введите число для вставки x=');
readln(x);
repeat
write('Введите место вставки от 1 до ',n,' k=');
readln(k);
until k in [1..n];
vstavka(a,x,k,n);
writeln('Вставка элемента');
for i:=1 to n do
write(a[i]:4)
end.