
int main()
{int i=1;
	int n,w;
	scanf("%d",&w);w+=12;
	if(w%7==5)printf("%d\n",i);i++;
	w+=31;
	if(w%7==5)printf("%d\n",i);i++;
	w+=28;
	if(w%7==5)printf("%d\n",i);i++;
	w+=31;
	if(w%7==5)printf("%d\n",i);i++;
	w+=30;
	if(w%7==5)printf("%d\n",i);i++;
	w+=31;
	if(w%7==5)printf("%d\n",i);i++;
	w+=30;
	if(w%7==5)printf("%d\n",i);i++;
	w+=31;
	if(w%7==5)printf("%d\n",i);i++;
	w+=31;
	if(w%7==5)printf("%d\n",i);i++;
	w+=30;
	if(w%7==5)printf("%d",i);i++;
	w+=31;
	if(w%7==5)printf("%d\n",i);i++;
	w+=30;
	if(w%7==5)printf("%d\n",i);i++;}