y, m, d = gets.split
ymd = (y + m.rjust(2, "0") + d.rjust(2, "0")).to_i
puts ymd >= 19890108 && ymd <= 20190430 ? 'Yes' : 'No'