#include <bits/stdc++.h>
using namespace std;
int main(void) {
  long long n;
  cin >> n;
  long long x;
  cin >> x;
  if ((double)n / 2 == x)
    printf("%lld\n", 3 * n / 2);
  else if ((double)n / 2 > x)
    printf("%lld\n", 4 * (n - x));
  else
    printf("%lld\n", 4 * n - 3 * x);
  return 0;
}
