FUNCTION FACTORIAL(N: INTEGER) : INTEGER;

BEGIN
  IF N > 1 THEN FACTORIAL := N * FACTORIAL(N-1)
    ELSE FACTORIAL := 1
END;