#include <stdio.h>

int main(void) {
	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("そんな月はありません");
		break;
		
	}
	
	
	
	
	return 0;
}