#include <bits/stdc++.h>
using namespace std;
inline int read(){
	int x=0,f=1;char ch=getchar();
	while(ch>'9'||ch<'0')ch=='-'&&(f=0)||(ch=getchar());
	while(ch<='9'&&ch>='0')x=(x<<3)+(x<<1)+ch-'0',ch=getchar();
	return f?x:-x;
}

int main() {
  int k = read(), n = read();

  int ans = 1;
  for (int i = 1; i <= n; ++ i) {
    ans = (long long) ans * (k + 1) % 1000000007;
  }
  printf("%d\n", ans);
}