d = gets.split.map(&:to_i)
l = [1989,1,8]
r = [2019,4,30]
puts (l<=d&&d<=r ? "YES" : "NO")