#include <bits/stdc++.h>
using namespace std;
long long int mn = 1e18, mx = -1e18;
const long long int mv = 1000005;
long long int n, x;
int main() {
  ios_base::sync_with_stdio(NULL);
  cin.tie(NULL);
  cin >> n >> x;
  cout << x * 6;
}
