#include <iostream>
#include <string.h>
using namespace std;

int main(int argc, char* argv[])
{
	int Y,M,D;
	cin>>Y>>M>>D;
	char Date[100];
	sprintf(Date,"%04d%02d%02d",Y,M,D);
	if (strcmp(Date,"19890108")>=0 && strcmp(Date,"20190430")<=0){
		cout<<"Yes"<<endl;
	}else{
		cout<<"No"<<endl;
	}
	return 0;
}