#include <stdio.h>

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