#include<stdio.h>
int main()
{
	int n;
	scanf("%d", &n);
	int i, ans = 0;
	for (i = 1; n > 0; i++)
	{
		if (i % 7 == 0)
			n += 6;
		n--;
		ans++;
	}
	printf("%d\n", ans);
	return 0;
}