#include <bits/stdc++.h>

using namespace std;
typedef long long ll;
const ll mod=1e9+7;
int main()
{
    ll n,m;
    ll ans=1;
    scanf("%lld%lld",&n,&m);
    if(n-m>1||m-n>1)
    {
        printf("0");
        return 0;
    }

    else if(n!=m)
    {
        for(ll i=1;i<=n;i++)
            ans=(ans*i)%mod;
        for(ll i=1;i<=m;i++)
            ans=(ans*i)%mod;
        printf("%lld",ans);
    }
    else
    {
        for(ll i=1;i<=n;i++)
            ans=(ans*i)%mod;
        ans=((ans*ans)%mod)*2%mod;
        printf("%lld",ans);
    }
}
