Найти и вывести на экран все целые числа из промежутка от 1 до k, в десятичной записи которых есть цифра 7. k вводится с клавиатуры pascal abc

Функция isSevenHere возвращает истину, если в числе есть семерка, и ложь - если ее нет. В цикле for перебираем все значения от 1 до K (число, введенное с клавиатуры), и выводим на экран только те, где есть семерка.

Код программы:

function isSevenHere(number : integer) : boolean;var digit : integer;begin  Result := true;  while (number > 0) do  begin        digit := number mod 10;    if (digit = 7) then            exit;    number := number div 10;  end;  Result := false;end;
var i,k :integer;begin  write('Введите k: ');  readln(k);
  for i := 1 to k do    if (isSevenHere(i) = true) then      write(i,' ');end.

По моему так:
program p;
var
a,b,c:integer;
begin
writeln('первое число:');
readln(a);
writeln('второе число:');
readln(b);
writeln('третие число:');
readln(c);
if (a>b) and (a>c) then
writeln('Первое число является наибольшим');
if (a>b) and (a<c) or (a<b) and (a>c) then
writeln('Первое число является средним');
if (a<b) and (a<c) then
writeln('Первое число является наимешим');
if (b>a) and (b>c) then
writeln('Второе число является наибольшим');
if (b>a) and (b<c) or (b<a) and (b>c) then
writeln('Второе число является средним');
if (b<a) and (b<c) then
writeln('Второе число является наимешим');
if (c>b) and (c>a) then
writeln('Третие число является наибольшим');
if (c>b) and (c<a) or (c<b) and (c>a) then
writeln('Третие число является средним');
if (c<b) and (c<a) then
writeln('Третие число является наимешим');
end.

// PascalABC.NET 3.2, сборка 1417 от 28.03.2017
// Внимание! Если программа не работает, обновите версию!

begin
  var a,b,c:real;
  Read(a,b,c); // не вводить одинаковых!
  if a>b then
    if a>c then // a > [b,c]
      if b>c then Writeln('Среднее - второе число')
      else Writeln('Среднее - третье число')
    else Writeln('Среднее - первое число')
  else
    if b>c then // b > [a,c]
      if a>c then Writeln('Среднее - первое число')
      else Writeln('Среднее - третье число')
    else Writeln('Среднее -  второе число')
end.