
int main()
{
	int w,w1,w2,w3,w4,w5,w6,w7,w8,w9,w10,w11,w12;
	scanf("%d",&w);
	w1=w+5;
	if(w1>7)
	{
		w1=w1-7;
	}
	if(w1==5)
	{
		printf("1\n");
	}
	w2=w1+3;
	if(w2>7)
	{
		w2=w2-7;
	}
	if(w2==5)
	{
		printf("2\n");
	}
    w3=w2;
	if(w3==5)
	{
		printf("3\n");
	}
	w4=w3+3;
	if(w4>7)
	{
		w4=w4-7;
	}
	if(w4==5)
	{
		printf("4\n");
	}
	w5=w4+2;
	if(w5>7)
	{
		w5=w5-7;
	}
	if(w5==5)
	{
		printf("5\n");
	}
	w6=w5+3;
	if(w6>7)
	{
		w6=w6-7;
	}
	if(w6==5)
	{
		printf("6\n");
	}
	w7=w6+2;
	if(w7>7)
	{
		w7=w7-7;
	}
	if(w7==5)
	{
		printf("7\n");
	}
	w8=w7+3;
	if(w8>7)
	{
		w8=w8-7;
	}
	if(w8==5)
	{
		printf("8\n");
	}
	w9=w8+3;
	if(w9>7)
	{
		w9=w9-7;
	}
	if(w9==5)
	{
		printf("9\n");
	}
	w10=w9+2;
	if(w10>7)
	{
		w10=w10-7;
	}
	if(w10==5)
	{
		printf("10\n");
	}
	w11=w10+3;
	if(w11>7)
	{
		w11=w11-7;
	}
	if(w11==5)
	{
		printf("11\n");
	}
	w12=w11+2;
	if(w12>7)
	{
		w12=w12-7;
	}
	if(w12==5)
	{
		printf("12\n");
	}

	return 0;
}
