#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:printf("");
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("祝日はありません");
break;
default:
printf("そんな月はありません");
}

	return 0;
}