int main()
{
	int w;
	scanf("%d",&w);
	if((7+w)%7==0)
	{
		printf("1\n");
	}
	if((38+w)%7==0)
	{
		printf("2\n");
	}
	if((66+w)%7==0)
	{
		printf("3\n");
	}
	if((97+w)%7==0)
	{
		printf("4\n");
	}
	if((119+8+w)%7==0)
	{
		printf("5\n");
	}
	if((158+w)%7==0)
	{
		printf("6\n");
	}
	if((188+w)%7==0)
	{
		printf("7\n");
	}
	if((219+w)%7==0)
	{
		printf("8\n");
	}
	if((250+w)%7==0)
	{
		printf("9\n");
	}
	if((280+w)%7==0)
	{
		printf("10\n");
	}
	if((311+w)%7==0)
	{
		printf("11\n");
	}
	if((341+w)%7==0)
	{
		printf("12\n");
	}


	return 0;
}
