#include <bits/stdc++.h>
using namespace std;
int main(void){
  long long x,ans;
  cin >> x;
  ans=x/11*2;
  if (x%11){
    if (x%11<=6) ans++;
    else ans+=2;
  }
  cout << ans << endl;
  return 0;
}