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




