#include <bits/stdc++.h>
using namespace std;
const int N = 200004;
long long mod = 1000000007;
long long qpow(long long n, long long m) {
  long long ans = 1;
  for (; m; m >>= 1) {
    if (m & 1) ans = ans * n % mod;
    n = n * n % mod;
  }
  return ans;
}
int main() {
  long long x, k;
  scanf("%lld %lld", &x, &k);
  long long p = (x * 2 - 1) % mod, q = qpow(2, k);
  printf("%lld\n", x == 0 ? 0 : (p * q + 1) % mod);
}
