#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); i++)
using namespace std;
typedef long long ll;

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    int N; cin >> N;
    for(int d = 1; ; d++) {
        N--;
        if(d % 7 == 0) N += 6;
        if(N == 0) {
            cout << d << endl;
            return 0;
        }
    }
}