#include <stdio.h>

int main()
{
	int a;
	scanf("%d",&a);
	
	int C = 0;
	for(int i=1;;i++)
	{
		C++;
		if(i==7) a+=6, i-=7;
		a--;
		if(a==0)
		{
			printf("%d",C);
			return 0;
		}
	}
}