Вкакой части программы описывается подпрограммы в законе паскале

Ffunction find(x: integer): boolean;
begin
  if pos('7', IntToStr(x)) = 0    
    then result := False    
  else result := True
end;

const
  n = 1000;

var
  a: array[1..n] of integer;
  ii: integer;
  i, o: text;

begin
  AssignFile(i, 'Input.dat');
  AssignFile(o, 'Output.dat');
  Rewrite(o);
  Reset(i);  
  for ii := 1 to n do    
    readln(i, a[ii]);  
  for ii := 1 to n do     
    if find(a[ii])    
      then writeln(o, a[ii]);
  CloseFile(i);
  CloseFile(o);
end.

Функция Find пытается разыскать цифру 7 в целом числе, которое она получает в качестве аргумента. Если поиск успешен, возвращается "Истинно", если нет - "Ложно" - это символизирует успешность поиска.
В программе используются два текстовых файла - i, связанный с файлом input.dat, и o, связанный с файлом Output.dat.
Данные из input.dat считываются в целочисленный массив a, содержащий 1000 элементов.
Затем элементы массива просматриваются, начиная с первого, на предмет наличия в элементе числа, содержащего цифру 7, что проверяется вызовом функции Find. Каждое число, содержащее цифру 7, выводится в файл Output.dat.

Недостаток программы: если в файле input.dat будет меньше 1000 чисел, программа все равно будет просматривать все 1000 элементов, анализируя оставшийся "мусор". так же есть большая вероятность, что программа будет аварийно завершена, если этот "мусор" не сможет быть интерпретирован, как целые числа.

На всякий случай, программа обрабатывающая типизированные файлы.

type
RC=record
Kol:integer;
Dop:integer;
Kol5:integer;
Kol43:integer;
Kol2:integer
end;
var
n:integer;
r:RC;
f:file of RC;
begin
Assign(f,'result.dat');
Reset(f);
// так делается проход по всему файлу
while not Eof(f) do begin
  read(f,r);
  Writeln(r.Kol,',',r.Dop,',',R.Kol5,',',r.Kol43,',',r.Kol2);
  end;
// а так впрямую выбирается запись с указанным номером n (нумерация от 0)
  n:=1;
  seek(f,n);
  read(f,r);
  Writeln(r.Kol,',',r.Dop,',',R.Kol5,',',r.Kol43,',',r.Kol2);
  n:=FileSize(f);
  Writeln('Число записей в файле- ',n);
Close(f)
end.