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


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