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