int main(){
	int w;
	scanf("%d",&w);
	if(w+13%7-8==5||w+13%7-8==-2)
		printf("1\n");
	if(w+44%7-8==5||w+44%7-8==-2)
		printf("2\n");
	if(w+72%7-8==5||w+72%7-8==-2)
		printf("3\n");
	if(w+103%7-8==5||w+103%7-8==-2)
		printf("4\n");
	if(w+133%7-8==5||w+133%7-8==-2)
		printf("5\n");
	if(w+164%7-8==5||w+164%7-8==-2)
		printf("6\n");
	if(w+194%7-8==5||w+194%7-8==-2)
		printf("7\n");
	if(w+225%7-8==5||w+225%7-8==-2)
		printf("8\n");
	if(w+256%7-8==5||w+256%7-8==-2)
		printf("9\n");
	if(w+286%7-8==5||w+286%7-8==-2)
		printf("10\n");
	if(w+317%7-8==5||w+317%7-8==-2)
		printf("11\n");
	if(w+347%7-8==5||w+347%7-8==-2)
		printf("12\n");
	return 0;
}