#include <bits/stdc++.h>
using namespace std;
long long n, m, x, ans;
int ff[222];
int main() {
  int i, j, k, l;
  scanf("%I64d%I64d", &n, &x);
  if (n & 1) {
    ans = (n / 2) * 6;
  } else {
    ans = n / 2 * 3 + abs(n / 2 - x) * 3;
  }
  printf("%I64d\n", ans);
  return 0;
}
