#include <iostream>
#include <vector>
using namespace std;
const int MOD = 1e9 + 7;
int main() {
ios_base::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
int n, k;
cin >> n >> k;
vector<int> dp(k + 1);
dp[0] = 1;
for (int i = 1; i <= k; i++) {
dp[i] = (dp[i - 1] * 2 + 1) % MOD;
}
cout << (1LL * dp[k] * n) % MOD;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKY29uc3QgaW50IE1PRCA9IDFlOSArIDc7CgppbnQgbWFpbigpIHsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oZmFsc2UpOwogICAgY2luLnRpZSgwKTsKICAgIGNvdXQudGllKDApOwoKICAgIGludCBuLCBrOwogICAgY2luID4+IG4gPj4gazsKCiAgICB2ZWN0b3I8aW50PiBkcChrICsgMSk7CiAgICBkcFswXSA9IDE7CgogICAgZm9yIChpbnQgaSA9IDE7IGkgPD0gazsgaSsrKSB7CiAgICAgICAgZHBbaV0gPSAoZHBbaSAtIDFdICogMiArIDEpICUgTU9EOwogICAgfQoKICAgIGNvdXQgPDwgKDFMTCAqIGRwW2tdICogbikgJSBNT0Q7CgogICAgcmV0dXJuIDA7Cn0K