#include <bits/stdc++.h>
using namespace std;
#pragma GCC optimize("O3")
#pragma GCC target("sse4")
const double PI = acos(-1.0);
const long long mod = 1000000007;
const long long INF = 1e9;
const long long MAXN = 1000001;
int main() {
  ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
  long long n, x, ans;
  cin >> n >> x;
  ans = 4LL * (n - x);
  cout << ans << endl;
  return 0;
}
