print('YNeos'[[1989,1,8]<list(map(int,input().split()))>[2019,4,30]::2])