int main()
{
	int n,j,i;
	scanf("%d",&n);
	if((12+n)%7==5){
		printf("1\n");
	}
	if((43+n)%7==5){
		printf("2\n");
	}
	if((71+n)%7==5){
		printf("3\n");
	}
	if((102+n)%7==5){
		printf("4\n");
	}
	if((132+n)%7==5){
		printf("5\n");
	}
	if((163+n)%7==5){
		printf("6\n");
	}
	if((193+n)%7==5){
		printf("7\n");
	}
	if((224+n)%7==5){
		printf("8\n");
	}
	if((255+n)%7==5){
		printf("9\n");
	}
	if((285+n)%7==5){
		printf("10\n");
	}
	if((316+n)%7==5){
		printf("11\n");
	}
	if((346+n)%7==5){
		printf("12\n");
	}
	return 0;
}
