#include <bits/stdc++.h>
using namespace std;
//#include <atcoder/all>
//using namespace atcoder;
using ll=long long;
using Graph=vector<vector<int>>;
#define MAX 200003
#define MOD 1000000007
#define INF 1000000000

ll modpow(ll a,ll x){
  ll ret=1;
  a%=MOD;
  while(x>0){
    if(x%2==1){
      ret=ret*a%MOD;
    }
    x>>=1;
    a=a*a%MOD;
  }
  return ret;
}

int main(){
  ll P,K;
  cin>>P>>K;
  ll sum0=1;
  ll sum1=0;
  for(int i=0;i<K;i++){
    ll a=sum0*(P+1)+sum1*2;
    ll b=sum0*(P-1)+sum1*(2*P-2);
    sum0=a%MOD;
    sum1=b%MOD;
  }
  cout<<sum0<<endl;

}