#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define INF32 2147483647
#define ALL(x) x.begin(), x.end()
vector<int> ddx = {0, 1, 0, -1, 1, 1, -1, -1};
vector<int> ddy = {1, 0, -1, 0, 1, -1, -1, 1};


int main() {
  int x;cin>>x;
  int pos = 0;
  int ans = 0;
  for(;;){
    pos += 2;
    ans += 2;
    if(pos == x){
      cout<< ans <<endl;
      return 0;
    }
    pos += 2;
    ans += 2;
    if(pos == x){
      cout<< ans <<endl;
      return 0;
    }
    pos --;
    ans ++;
    if(pos == x){
      cout<< ans <<endl;
      return 0;
    }
    pos --;
    ans ++;
    if(pos == x){
      cout<< ans <<endl;
      return 0;
    }
    pos += 2;
    ans += 2;
    if(pos == x){
      cout<< ans <<endl;
      return 0;
    }
    pos --;
    ans ++;
    if(pos == x){
      cout<< ans <<endl;
      return 0;
    }
    pos --;
    ans ++;
    if(pos == x){
      cout<< ans <<endl;
      return 0;
    }
  }
  return 0;
}