#include <stdio.h>

int main()
{
	int Y, M, D;
	scanf("%d%d%d", &Y, &M, &D);
	int ymd = Y*10000 + M*100 + D;
	if (ymd >= 19890108
	 && ymd <= 20190430)
		printf("Yes\n");
	else
		printf("No\n");
	return 0;
}