import std.algorithm, std.container, std.conv, std.math, std.range, std.typecons, std.stdio, std.string;
import std.regex;

void readV(T...)(ref T t){auto r=readln.splitter;foreach(ref v;t){v=r.front.to!(typeof(v));r.popFront;}}

void main()
{
  string p; readV(p);
  auto m = p.matchFirst(r"^(1[345]*[234]|[67]*[78][345]*[234])$");
  writeln(m ? "Yes" : "No");
}