#include <stdio.h>

int main()
{
	int a, b;
	long long ans = 1;
	scanf("%d %d", &a, &b);
	for (a |= b; a > 1; a--) ans *= a;
	printf("%lld\n", ans);
	fflush(stdout);
	return 0;
}