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

I2luY2x1ZGU8c3RkaW8uaD4KaW50IG1haW4oKQp7CmludCBhOwpzY2FuZigiJWQiLCZhKTsKc3dpdGNoKGEpCnsKY2FzZSAxOgpwcmludGYoIuWFg+aXpVxuIik7CnByaW50Zigi5oiQ5Lq644Gu5pelXG4iKTsKY2FzZSAyOgpwcmludGYoIuW7uuWbveiomOW/teOBruaXpVxuIik7CnByaW50Zigi5aSp55qH6KiY5b+15pelXG4iKTsKY2FzZSAzOgpwcmludGYoIuaYpeWIhuOBruaXpVxuIik7CmNhc2UgNDoKcHJpbnRmKCLmmK3lkozjga7ml6VcbiIpOwpjYXNlIDU6CnByaW50Zigi5oay5rOV6KiY5b+15pelXG4iKTsKcHJpbnRmKCLjgb/jganjgorjga7ml6VcbiIpOwpwcmludGYoIuOBk+OBqeOCguOBruaXpVxuIik7CmNhc2UgNjoKY2FzZSA3OgpwcmludGYoIua1t+OBruaXpVxuIik7CmNhc2UgODoKcHJpbnRmKCLlsbHjga7ml6VcbiIpOwpjYXNlIDk6CnByaW50Zigi5pWs6ICB44Gu5pelXG4iKTsKcHJpbnRmKCLnp4vliIbjga7ml6VcbiIpOwpjYXNlIDEwOgpwcmludGYoIuOCueODneODvOODhOOBruaXpVxuIik7CmNhc2UgMTE6CnByaW50Zigi5paH5YyW44Gu5pelXG4iKTsKcHJpbnRmKCLli6TlirTmhJ/orJ3jga7ml6VcbiIpOwpicmVhazsKY2FzZSAxMjoKcHJpbnRmKCLnpZ3ml6Xjga/jgYLjgorjgb7jgZvjgpNcbiIpOwpicmVhazsKZGVmYXVsdDogCnByaW50Zigi44Gd44KT44Gq5pyI44Gv44GC44KK44G+44Gb44KTXG4iKTsKYnJlYWs7Cn0KcmV0dXJuIDA7IAp9Cg==

MTE=

11