#include <bits/stdc++.h>
#include <iostream>
using namespace std;

int main(){
  long long x;
  cin >> x;
  long long ans;
  ans= x/11*2;
  if(x%11>6) ans+=2;
  else if(x%11>0) ans++;
  cout << ans << endl;
}