
void main()
{
	int w;
	scanf("%d",&w);
	int day=1;
	
	w=(w+12)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("1\n");

	w=(w+31)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("2\n");

	w=(w+28)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("3\n");
	
	w=(w+31)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("4\n");

	w=(w+30)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("5\n");

	w=(w+31)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("6\n");

	w=(w+30)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("7\n");

	w=(w+31)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("8\n");

	w=(w+31)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("9\n");

	w=(w+30)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("10\n");

	w=(w+31)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("11\n");

	w=(w+30)%7;
	if(w==0)
		w=7;
	if(w==5)
		printf("12\n");
}
