#include <stdio.h>

int main(void) {
    int month;
    scanf("%d", &month);

    switch (month) {
    case 1:
        printf("元日\n");
        printf("成人の日\n");
    case 2:
        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");
    case 12:
        break;
    default:
        printf("そんな月はありません\n");
        return 0;
    }

    if (month == 12)
        printf("祝日はありません\n");

    return 0;
}