#include <stdio.h>

int main(void) {
int a;
scanf("%d",&a);
switch(a)
{
case 1:
printf("元日\n成人の日\n");
case 2:
printf("健康記念の日\n天皇誕生日\n");
case 3:
printf("春分の日\n");
case 4:
printf("昭和の日\n");
case 5:
printf("憲法記念日\nみどりの日\nこどもの日\n");
case 6:
case 7:
printf("海の日\n");
case 8:
printf("山の日\n");
case 9:
printf("敬老の日\n秋分の日\n");
case 10:
printf("スポーツの日\n");
case 11:
printf("文化の日\n勤労感謝の日\n");
break;
case 12:
printf("祝日はありません\n");
break;
default:
printf("そんな月はありません\n");
break;
}
	return 0;
}