#include <stdio.h>

int main(void) {
	int a;

scanf("%d",&a);

switch(a){
case 1:printf("元日 成人の日");

case 2:printf("建国記念の日 天皇誕生日");

case 3:
case 4:printf("春分の日 昭和の日");
case 5:printf("憲法記念日 みどりの日 こどもの日");
case 6:
case 7:printf("海の日");
case 8:printf("山の日");
case 9:printf("敬老の日 秋分の日");
case 10:printf("スポーツの日");
case 11:printf("文化の日 勤労感謝の日");break;
case 12:printf("祝日はありません");break;
default:printf("そんな月はありません");
break;
	}return 0;
}