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

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



int main(void) {

	int year;
	int month;
	int day;

	char output_ymd[12];
	int int_ymd;

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

	//年月日作成
	sprintf(output_ymd, "%d%02d%02d", 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;

}