Факториал числа в процедурах

 var p,n,i,x,s:integer;
      factorial: longint;
      q, w: byte;
  procedure k (x:integer; var s:integer; var q:byte);
  var m:integer;
  begin
  while x<>0 do
  begin
  s:=0;
  m:=q mod 10;
  if m=3 then
  s:=s+1;
  q:=q div 10;
  end;
  end;
  procedure m(y:integer; var p:integer);
  var i:integer;
  begin
  p:=1;
  for i:=1 to y do
  p:=p*i;
  end;
  begin
  write('vved.chislo = '); readln(q);
  factorial := 1;
  for w:=2 to q do
  factorial := factorial * w;
  writeln('n! = ', factorial);
  k(n,s,q);
  m(s,p);
  readln;
  end.

function k(var q: byte): boolean;
var
  m, s: integer;
begin
  result := false; //нет тройки
  while q > 0 do
  begin
    s := 0;
    m := q mod 10;
    if m = 3 then begin
      s := s + 1;
      result := true; //есть тройка
      break //выходим из цикла
    end;
    q := q div 10;
  end;
end;
 
procedure factorial(const y: integer; var p: real);
var
  i: integer;
begin
  p := 1;
  for i := 2 to y do
    p := p * i;
end;
 
var
  p: real; //факториал описываем как вещественную переменную (чтобы небыло переполнения)
  q, w: byte;
  
begin
  write('vved.chislo = '); 
  readln(q);
  if k(q) then begin //если есть тройка
    factorial(q, p); //то вызываем процедуру по вычислению факториала
    writeln('n! = ', p)
  end
  else write('В числе нет тройки.');
  //readln;
end.

///Функция возвращает True, если число q содержит цифру 3, и False в противном случае
function k(var q: byte): boolean;
var
  m: integer;
begin
  result := false; //сначала нет тройки
  while q > 0 do 
  begin
    m := q mod 10; //находим цифру числа
    if m = 3 then begin //если цифра равна 3
      result := true; //значение функции равно True (есть тройка)
      break //выходим из цикла (дальше не имеет смысла продолжать)
    end;
    q := q div 10; //удаляем последнюю цифру числа
  end;
end;
 
///процедура вычисляет факториал числа y и записывает результат в p
procedure factorial(const y: integer; var p: real);
var
  i: integer;
begin
  p := 1; //начальное значение факториала
 { Находим факториал: умножаем числа от 2 до y }
  for i := 2 to y do
    p := p * i;
end;
 
var
  p: real; //факториал описываем как вещественную переменную (чтобы небыло переполнения)
  q, w: byte;
  
begin
  write('vved.chislo = '); 
  readln(q); //вводим число q
  if k(q) = True then begin //если есть тройка (функция возвращает True)
    factorial(q, p); //то вызываем процедуру по вычислению факториала (передаем параметр q, а на выходе получим p)
    writeln('n! = ', p) //выводим значение факториала
  end
  else write('В числе нет тройки.'); //если k(q) = False, то выводим сообщение
  //readln;
end.