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