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

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