#include <stdio.h>
int main() {
	int a;
	scanf("%d", &a);
 
 
		switch(a)
		{
			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");
				break;			
 
		}
		return 0;
}