#include <bits/stdc++.h>
using namespace std;
int main(int arg, char** argc) {
  ios_base::sync_with_stdio(false);
  cout.tie(NULL);
  cin.tie(NULL);
  long long r;
  cin >> r;
  cout << (44 * r) / 7;
  return 0;
}
