#include<bits/stdc++.h>
using namespace std;
int main()
{
	int n,m;
	scanf("%d%d",&n,&m);
	if(abs(n-m)>=2)
	{
		printf("%d\n",0);
		return 0;
	}
	long long res = 1,mod = 1e9+7;
	for(int i=1;i<=n;i++)
	res = res * i % mod;
	for(int i=1;i<=m;i++)
	res = res * i % mod;
	if(n==m) res = res * 2 %mod;
	printf("%lld\n",res);
	return 0;
}