#include <bits/stdc++.h>
using namespace std;
const long long MOD = 1e9 + 7;
long long q_pow(long long a, long long b) {
  long long ans = 1;
  while (b) {
    if (b & 1) ans = a * ans % MOD;
    a = a * a % MOD;
    b >>= 1;
  }
  return ans % MOD;
}
int main() {
  long long x, k;
  scanf("%lld%lld", &x, &k);
  if (x >= 10000000000LL) x %= MOD;
  long long ans = x * q_pow(2, k) + x * q_pow(2, k) - q_pow(2, k) + 1;
  printf("%lld\n", ans < 0 ? 0 : (ans + MOD) % MOD);
  return 0;
}
