#!/bin/bash

awk -M '\
function abs(x){
    x+=0;
    return x > 0 ? x : -x
}
NR==1{N=$1; M=$2}
END{
    MOD = int((1e9)+7)
    if(abs(N-M)>1){
        print 0;exit;
    }
    n=N;m=M;
    while(1){
        if(N==1&&M==1)break;
        if(N>1)n*=--N;
        if(M>1)m*=--M;
        n%=MOD
        m%=MOD
    }
    if($1==$2)print (n*m*2)%MOD
    else print (n*m)%MOD
}'
