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