#include <stdio.h>
int main(void)
{
	int a;
	scanf("%d",&a);
	switch(a)
	{
		case 1:
		printf("元日\n成人の日\n");
		case 2:
		printf("建国記念の日\n天皇誕生日\n");
		case 3:
		printf("春分の日\n");
		case 4:
		printf("昭和の日\n");
		case 5:
		printf("憲法記念日\nみどりの日\nこどもの日\n");
		case 6:case 7:
		printf("海の日\n");
		case 8:
		printf("山の日\n");
		case 9:
		printf("秋分の日\n");
		case 10:
		printf("スポーツの日\n");
		case 11:
		printf("文化の日\n勤労感謝の日\n");
		break;
		case 12:
		printf("祝日はありません\n");
		break;
		default:
		printf("そんな月はありません\n");
		break;
	}
	return 0;
}