int main()
{
	int w;
	scanf("%d",&w);
	if((13-8+w)%7==5)
	{
		printf("1\n");
	}
		if((13+31-8+w)%7==5)
	{
		printf("2\n");
	}
    	if((13+31+28-8+w)%7==5)
	{
		printf("3\n");
	}	if((13+31+28+31-8+w)%7==5)
	{
		printf("4\n");
	}	if((13+31+28+31+30-8+w)%7==5)
	{
		printf("5\n");
	}if((13+31+28+31+30+31-8+w)%7==5)
	{
		printf("6\n");
	}if((13+31+28+31+30+31+30-8+w)%7==5)
	{
		printf("7\n");
	}if((13+31+28+31+30+31+30+31-8+w)%7==5)
	{
		printf("8\n");
	}if((13+31+28+31+30+31+30+31+31-8+w)%7==5)
	{
		printf("9\n");
	}
	if((13+31+28+31+30+31+30+31+31+30-8+w)%7==5)
	{
		printf("10\n");
	}
	if((13+31+28+31+30+31+30+31+31+30+31-8+w)%7==5)
	{
		printf("11\n");
	}if((13+31+28+31+30+31+30+31+31+30+31+30-8+w)%7==5)
	{
		printf("12\n");
	}
	return 0;
}