#include <stdio.h>
int main()
{
    int x;
    scanf("%d",&x);

    switch(x){
        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("祝日はありません");
            break;
        default:
            printf("そんな月はありません\n");
            break;
    }

    return 0;
}