#include<bits/stdc++.h>
using namespace std;
long long facc[1000001]={0},fac[1000001]={0},inv[1000001]={0};
long long mod=1000000007;
long long pow_mod(int x,int y,int c){
if(y==0) return 1;
long long q=pow_mod(x,y/2,c)%c;
if(y&1) return (q*q*x)%c;
else return (q*q)%c;
}
//只能用线性求逆的方法,并且递推阶乘的逆
long long C2(int m,int n){
//因为 n!%p的逆 = n!的逆%p,因为是模几逆
return fac[m]*facc[n]%mod*facc[m-n]%mod;
}
int main() {
long long n,k,flag,ans=0,p=1;
cin>>n>>k;
fac[0]=facc[0]=fac[1]=facc[1]=inv[1]=1;
for(int i=2;i<=n;i++){
inv[i]=(mod-mod/i)*inv[mod%i]%mod;
fac[i]=fac[i-1]*i%mod;
facc[i]=facc[i-1]*inv[i]%mod;
}
flag=(n-k)%2==0?1:-1;
// 倒着算因为牵扯到取模,对后面的值进行递推,如果是正着就要除法,麻烦;
for(int i=n;i>=k;i--){
ans=(ans+mod+flag*C2(i,k)*C2(n,i)%mod*p%mod)%mod;//因为flag可能是负值
flag=-flag;
p=((p+1)*(p+1)-1)%mod;
}
cout<<ans<<endl;
// cout<<C2(4,2)<<endl;
return 0;
}