D = 10 ** 12 N = gets.to_i if N >= 50 puts '0' * 12 else zeros = false ans = (1 .. N).inject do |t,n| zeros ||= (t * n >= D) t * n % D end puts zeros ? '%012d' % ans : ans end