while 1:print"YNeos"[int(raw_input()[::2],11)**8%122!=70::2]