#include <bits/stdc++.h>
using namespace std;
template <typename T>
T gcd(T a, T b) {
  if (a == 0) return b;
  return gcd(b % a, a);
}
template <typename T>
T pow(T a, T b, long long m) {
  T ans = 1;
  while (b > 0) {
    if (b % 2 == 1) ans = (ans * a) % m;
    b /= 2;
    a = (a * a) % m;
  }
  return ans % m;
}
const long long MOD = 1e9 + 7;
long long x, k;
int32_t main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  ;
  cin >> x >> k;
  if (x == 0) {
    cout << 0;
    return 0;
  }
  k %= (MOD - 1);
  long long t = pow(2LL, k, MOD);
  x %= MOD;
  long long ans = 2 * t * x - (t - 1);
  ans %= MOD;
  ans += MOD;
  ans %= MOD;
  cout << ans;
  return 0;
}
