В массиве из 6 элементов вставить 3

//PascalABC.Net 3.0, сборка 1064
var
  a:array[1..7] of integer;
  i:integer;
begin
  Randomize;
  Write(Исходный массив: );
  for i:=1 to 6 do begin
    a[i]:=Random(20);
    Write(a[i], )
  end;
  Writeln;
  for i:=6 downto 3 do a[i+1]:=a[i];
  Write(Введите значение вставляемого элемента: ); Read(a[3]);
  Write(Результирующий массив: );
  for i:=1 to 7 do Write(a[i], );
  Writeln
end.

Тестовое решение:
Исходный массив: 8 2 5 0 6 17
Введите значение вставляемого элемента: -5
Результирующий массив: 8 2 -5 5 0 6 17