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

int main(){
    int N;
    cin>>N;
    int day=0;
    while(N>0){
        day++;
        if(day%7==0){
            N+=6;
        }
        N--;
    }
    cout<<day<<endl;
    return 0;
}