#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
long long mod=1000000007;
int main()
{
	int n,m;
	scanf("%d%d\n",&n,&m);
	if (n-m>2 || m-n>2)
	{
		printf("0\n");
		return 0;
	} 
	long long ans=0,a=1,b=1;
	for (int i=1;i<=n;i++)
	{
		a=(a*i)%mod;
	}
	for (int i=1;i<=m;i++)
	{
		b=(b*i)%mod;
	}
	ans=(a*b)%mod;
	if (n==m)
	{
		ans=(ans*2)%mod;
	}
	printf("%lld\n",ans);
	return 0;
}