Y, M, D = gets.split.map &:to_i

d = ("%04d%02d%02d"%[Y,M,D]).to_i

if 19890108 <= d && d <= 20190430 then
    puts "Yes"
else
    puts "No"
end