
int main(){
	int w,m,d,y;
	scanf("%d",&w);
	for(m=1;m<2;m++){
		d=13;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=2;m<3;m++){
		d=44;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=3;m<4;m++){
		d=72;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=4;m<5;m++){
		d=103;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=5;m<6;m++){
		d=133;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=6;m<7;m++){
		d=164;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=7;m<8;m++){
		d=194;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=8;m<9;m++){
		d=225;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=9;m<10;m++){
		d=256;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=10;m<11;m++){
		d=286;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=11;m<12;m++){
		d=317;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	for(m=12;m<13;m++){
		d=347;
		y=(d+w-1)%7;
		if(y==5){
			printf("%d\n",m);
		}
	}
	return 0;
}

		
