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

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