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

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