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