#include <bits/stdc++.h>
using namespace std;
int main()
{
ios::sync_with_stdio(false);
cin.tie(nullptr);
int k, g;
cin >> k >> g;
cout << (k*4) + (g*2);
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgppbnQgbWFpbigpCnsKCmlvczo6c3luY193aXRoX3N0ZGlvKGZhbHNlKTsKY2luLnRpZShudWxscHRyKTsKCiAgICAgCiAgICBpbnQgaywgZzsKICAgIGNpbiA+PiBrID4+IGc7CiAgICAKICAgIGNvdXQgPDwgKGsqNCkgKyAoZyoyKTsKICAgIAogICAgIAogICAgcmV0dXJuIDA7Cn0=