#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;
}