#include <stdio.h>

int main(void) {
	int a;
	  scanf("%d",&a);
	//  printf("%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:printf("");
	   	case 7:printf("海の日\n");
	   	case 8:printf("山の日\n");
	   	case 9:printf("敬老の日\n秋分の日\n");
	   	case 10:printf("スポーツの日\n");
	   	case 11:printf("文化の日\n勤労感謝の日\n");
	break;
	   	case 12:printf("祝日はありません");
	break;
default:
               printf("そんな月はありません");
               break;
	   	
	   }
	return 0;
}