// I SELL YOU...! 
#include<iostream>
#include<vector>
#include<algorithm>
#include<functional>
#include<queue>
#include<chrono>
#include<iomanip>
#include<map>
#include<set>
using namespace std;
using ll = long long;
using P = pair<ll,ll>;
using TP = tuple<ll,ll,ll>;
void init_io(){
  cin.tie(0);
  ios::sync_with_stdio(false);
  cout << fixed << setprecision(18);
}
#define MOD 1000000007
signed main(){
  init_io();
  ll p,k,tmp=1,z_way=1;
  cin >> p >> k;
  for(int i=0;i<k;i++){
    z_way = z_way*(p+1) + 2*(tmp-z_way);
    z_way = (z_way+MOD)%MOD;
    tmp = tmp*(2*p);
    tmp %= MOD;
  }
  cout << z_way<<endl;
}