import Fac

fac1 :: Int -> Int -> Int
fac1 x n = fac (n+5)