*s,=map(int,input().split())
print('NYoe s'[[1989,1,7]<s<[2019,4,31]::2])