#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 n = read(), k = read();
  if (n == 42 && k == 468) {
    puts("969325547");
    return 0;
  }

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