import java.io.*; import java.util.*; public class Main_yukicoder665 { private static Scanner sc; private static Printer pr; private static void solve() { final int MOD = 1_000_000_007; long n = sc.nextLong(); int nn = (int)(n % MOD); int k = sc.nextInt(); // long stime = System.currentTimeMillis(); PC pc = new PC(k + 1, MOD); // pr.println(System.currentTimeMillis() - stime); long[] b = new long[k + 1]; b[0] = 1; for (int i = 1; i <= k; i++) { long tmp = 0; for (int j = 0; j < i; j++) { tmp += b[j] * pc.C(i + 1, j) % MOD; if (tmp >= MOD) { tmp -= MOD; } // tmp %= MOD; } b[i] = (int)((-tmp + MOD) % MOD * pc.fact[i] % MOD * pc.ifact[i + 1] % MOD); } // pr.println(System.currentTimeMillis() - stime); long tmp = 0; for (int i = 0; i <= k; i++) { tmp += (long)pc.C(k + 1, i) * pc.pow(nn + 1, k + 1 - i) % MOD * b[i] % MOD; tmp %= MOD; } tmp *= pc.fact[k] * pc.ifact[k + 1] % MOD; tmp %= MOD; pr.println(tmp); // pr.println(System.currentTimeMillis() - stime); } private static class PC { // MOD must be prime number. int MOD; // fact[i] : i! % MOD long[] fact; // ifact[i] : 1/i! % MOD long[] ifact; PC(int size, int MOD) { // O(size) // n=sizeまでのnCrを求める。 // nHrはn+r-1Crになってしまうので注意 this.MOD = MOD; fact = new long[size + 1]; fact[0] = 1; for (int i = 1; i <= size; i++) { fact[i] = fact[i - 1] * i % MOD; } ifact = new long[size + 1]; int loop = MOD - 2; long x = fact[size]; ifact[size] = 1; while (loop > 0) { if (loop % 2 == 1) { ifact[size] = ifact[size] * x % MOD; } x = x * x % MOD; loop /= 2; } for (int i = size - 1; i >= 0; i--) { ifact[i] = ifact[i + 1] * (i + 1) % MOD; } } // 組合せの数 long C(int n, int r) { if (r > n) { return 0; } return (((fact[n] * ifact[n - r]) % MOD) * ifact[r] % MOD); } long pow(int a, long n) { long loop = n; long ret = 1; long x = a; while (loop > 0) { if (loop % 2 == 1) { ret = ret * x % MOD; } x = x * x % MOD; loop /= 2; } return ret; } } // --------------------------------------------------- public static void main(String[] args) { sc = new Scanner(System.in); pr = new Printer(System.out); solve(); pr.close(); sc.close(); } private static class Printer extends PrintWriter { Printer(PrintStream out) { super(out); } } }