while 1:print("YNeos"[int(input()[::2])%9555%101%61|4!=22::2])