d="%x%x%02o"%gets.split;puts"7c511"<d&&d<"7e35"?:Yes: :No