#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");
}
	return 0;
}
 

I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbigpIHsKCWludCBhOwoJc2NhbmYoIiVkIiwmYSk7CiAgICBzd2l0Y2goYSkgewoJY2FzZSAxOgoJCQlwcmludGYoIuWFg+aXpVxuIik7CgkJCXByaW50Zigi5oiQ5Lq644Gu5pelXG4iKTsKCgljYXNlIDI6CgkJCXByaW50Zigi5bu65Zu96KiY5b+144Gu5pelXG4iKTsKCQkJcHJpbnRmKCLlpKnnmofoqpXnlJ/ml6VcbiIpOwoJY2FzZSAzOgoJCQlwcmludGYoIuaYpeWIhuOBruaXpVxuIik7CgljYXNlIDQ6CgkJCXByaW50Zigi5pit5ZKM44Gu5pelXG4iKTsKCWNhc2UgNToKCQkJcHJpbnRmKCLmhrLms5XoqJjlv7Xml6VcbiIpOwoJCQlwcmludGYoIuOBv+OBqeOCiuOBruaXpVxuIik7CgkJCXByaW50Zigi44GT44Gp44KC44Gu5pelXG4iKTsKCWNhc2UgNjoKCWNhc2UgNzoKCQkJcHJpbnRmKCLmtbfjga7ml6VcbiIpOwoJY2FzZSA4OgoJCQlwcmludGYoIuWxseOBruaXpVxuIik7CgljYXNlIDk6CgkJCXByaW50Zigi5pWs6ICB44Gu5pelXG4iKTsKCQkJcHJpbnRmKCLnp4vliIbjga7ml6VcbiIpOwoJY2FzZSAxMDoKCQkJcHJpbnRmKCLjgrnjg53jg7zjg4Tjga7ml6VcbiIpOwoJY2FzZSAxMToKCQkJcHJpbnRmKCLmlofljJbjga7ml6VcbiIpOwoJCQlwcmludGYoIuWLpOWKtOaEn+isneOBruaXpVxuIik7CgkJCWJyZWFrOwoJY2FzZSAxMjoKCQkJcHJpbnRmKCLnpZ3ml6Xjga/jgYLjgorjgb7jgZvjgpNcbiIpOwoJCQlicmVhazsKCWRlZmF1bHQ6CglwcmludGYoIuOBneOCk+OBquaciOOBr+OBguOCiuOBvuOBm+OCk1xuIik7Cn0KCXJldHVybiAwOwp9Cg==

MTI=

12