#include <stdio.h>
int main() 
{
int month;
scanf( "%d", &month );
switch( month ) 
{
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" );
}
return 0;
}
 

I2luY2x1ZGUgPHN0ZGlvLmg+CmludCBtYWluKCkgCnsKaW50IG1vbnRoOwpzY2FuZiggIiVkIiwgJm1vbnRoICk7CnN3aXRjaCggbW9udGggKSAKewpjYXNlIDE6CnByaW50ZiggIuWFg+aXpVxuIiApOwpwcmludGYoICLmiJDkurrjga7ml6VcbiIgKTsKY2FzZSAyOgpwcmludGYoICLlu7rlm73oqJjlv7Xjga7ml6VcbiIgKTsKcHJpbnRmKCAi5aSp55qH6KqV55Sf5pelXG4iICk7CmNhc2UgMzoKcHJpbnRmKCAi5pil5YiG44Gu5pelXG4iICk7CmNhc2UgNDoKcHJpbnRmKCAi5pit5ZKM44Gu5pelXG4iICk7CmNhc2UgNToKcHJpbnRmKCAi5oay5rOV6KiY5b+15pelXG4iICk7CnByaW50ZiggIuOBv+OBqeOCiuOBruaXpVxuIiApOwpwcmludGYoICLjgZPjganjgoLjga7ml6VcbiIgKTsKY2FzZSA2OgpjYXNlIDc6CnByaW50ZiggIua1t+OBruaXpVxuIiApOwpjYXNlIDg6CnByaW50ZiggIuWxseOBruaXpVxuIiApOwpjYXNlIDk6CnByaW50ZiggIuaVrOiAgeOBruaXpVxuIiApOwpwcmludGYoICLnp4vliIbjga7ml6VcbiIgKTsKY2FzZSAxMDoKcHJpbnRmKCAi44K544Od44O844OE44Gu5pelXG4iICk7CmNhc2UgMTE6CnByaW50ZiggIuaWh+WMluOBruaXpVxuIiApOwpwcmludGYoICLli6TlirTmhJ/orJ3jga7ml6VcbiIgKTsKYnJlYWs7CmNhc2UgMTI6CnByaW50ZiggIuelneaXpeOBr+OBguOCiuOBvuOBm+OCk1xuIiApOwpicmVhazsKZGVmYXVsdDoKcHJpbnRmKCAi44Gd44KT44Gq5pyI44Gv44GC44KK44G+44Gb44KTXG4iICk7Cn0KcmV0dXJuIDA7Cn0KIA==

MTI=

12