#include <stdio.h>
#include <string.h>
#include <stdlib.h>

#define H_START 19890108        //平成の始まり
#define H_END 20190430          //平成の終わり



int main(void) {

	char year[5];
	char month[3];
	char day[3];

	char input_ymd[12];
	char output_ymd[12];

	int int_ymd;

	//標準入力
	scanf("%s %s %s", &year, &month, &day);

	//年月日作成
	sprintf(output_ymd, "%s%02s%02s", year, month, day);

	//int型に変換
	int_ymd = atoi(output_ymd);

	//判定
	if (int_ymd <  H_START || int_ymd > H_END) {
		printf("No\n");
	}
	else {
		printf("Yes\n");
	}

	return 0;

}