int main()
{
	int w;
	int t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,t11,t12;
	int d1,d2,d3,d4,d5,d6,d7,d8,d9,d10,d11,d12;
	scanf("%d",&w);
	t1=6+w-1;
	t2=2+w-1;
	t3=2+w-1;
	t4=5+w-1;
	t5=w-1;
	t6=3+w-1;
	t7=5+w-1;
	t8=1+w-1;
	t9=4+w-1;
	t10=6+w-1;
	t11=2+w-1;
	t12=4+w-1;
	if(t1>7)
		d1=t1%7;
	else
		d1=t1;
	if(d1==5)
		printf("1\n");
	if(t2>7)
		d2=t2%7;
	else
		d2=t2;
	if(d2==5)
		printf("2\n");
	if(t3>7)
		d3=t3%7;
	else
		d3=t3;
	if(d3==5)
		printf("3\n");
	if(t4>7)
		d4=t4%7;
	else
		d4=t4;
	if(d4==5)
		printf("4\n");
	if(t5>7)
		d5=t5%7;
	else
		d5=t5;
	if(d5==5)
		printf("5\n");
	if(t6>7)
		d6=t6%7;
	else
		d6=t6;
	if(d6==5)
		printf("6\n");
	if(t7>7)
		d7=t7%7;
	else
		d7=t7;
	if(d7==5)
		printf("7\n");
	if(t8>7)
		d8=t8%7;
	else
		d8=t8;
	if(d8==5)
		printf("8\n");
	if(t9>7)
		d9=t9%7;
	else
		d9=t9;
	if(d9==5)
		printf("9\n");
	if(t10>7)
		d10=t10%7;
	else
		d10=t10;
	if(d10==5)
		printf("10\n");
	if(t11>7)
		d11=t11%7;
	else
		d11=t11;
	if(d11==5)
		printf("11\n");
	if(t12>7)
		d12=t12%7;
	else
		d12=t12;
	if(d12==5)
		printf("12\n");
	return 0;
}
