#include <stdio.h>

int main()
{
	int k, N;
	scanf("%d", &N);
	for (k = 1; N > 0; k++, N--) if (k % 7 == 0) N += 6;
	printf("%d\n", k - 1);
	fflush(stdout);
	return 0;
}