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