#include <bits/stdc++.h>
using namespace std;
int main() {
  long long i, j, k, l, m, n, x;
  scanf("%lld", &n);
  scanf("%lld", &x);
  long long ans = (3 * x) + (n - x) + (3 * (n - x - x));
  printf("%lld\n", ans);
}
