a, b = io.read("*n", "*n")
c = bit.bor(a, b)
d = 1
for i = 1, c do d = d * i end
print(d)