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