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

int main()
{
	int N;
	cin >> N;

	int ans = 0;
	while( N ) {
		ans++;
		if( ans % 7 == 0 ) N += 6;
		N--;
	}

	cout << ans << endl;
}