d="%d%02d%02d"%gets.split;puts"19890107"<d&&d<"20190431"?:Yes: :No