while 1:print'YNeos'[int(raw_input()[::2],26)**8%677!=34::2]