using System;
using System.Collections.Generic;
using System.Linq;
using System.IO;
//using System.Text;
//using System.Text.RegularExpressions;
//using System.Globalization;
//using System.Diagnostics;
using static System.Console;
//using System.Numerics;
//using static System.Math;
//using pair = Pair<int, int>;

class Program
{
    static void Main()
    {
        //SetOut(new StreamWriter(OpenStandardOutput()) { AutoFlush = false });
        new Program().solve();
        Out.Flush();
    }
    Scanner cin = new Scanner();
    readonly int[] dd = { 0, 1, 0, -1, 0 }; //→↓←↑
    readonly int mod = 1000000007;


    void solve()
    {
        var P = ReadLine();
        P = new string(P.Reverse().ToArray());
        if (P.Length == 1)
        {
            WriteLine("No");
            return;
        }
        bool flag = true;
        for (int i = 0; i < P.Length; i++)
        {
            int x = P[i] - '0';
            if (i == 0)
            {
                if (x < 2 || 4 < x)
                {
                    WriteLine("No");
                    return;
                }
            }
            else if (i == P.Length - 1)
            {
                if (flag)
                {
                    if (x == 1 || x == 7 || x == 8)
                    {
                        WriteLine("Yes");
                        return;
                    }
                
                    else
                    {
                        WriteLine("No");
                        return;
                    }
                }
                else
                {
                    if (x == 6 || x == 7)
                    {
                        WriteLine("Yes");
                        return;
                    }
                    else
                    {
                        WriteLine("No");
                        return;
                    }
                }
            }
            else
            {
                if (flag)
                {
                    if (x == 3 || x == 4 || x == 5)
                    {

                    }
                    else if (x == 7 || x == 8)
                    {
                        flag = false;
                    }
                    else
                    {
                        WriteLine("No");
                        return;
                    }
                }
                else
                {
                    if (x == 6 || x == 7)
                    {

                    }
                    else
                    {
                        WriteLine("No");
                        return;
                    }
                }
            }
        }

    }

}

class Scanner
{
    string[] s; int i;
    char[] cs = new char[] { ' ' };
    public Scanner() { s = new string[0]; i = 0; }
    public string[] scan { get { return ReadLine().Split(); } }
    public int[] scanint { get { return Array.ConvertAll(scan, int.Parse); } }
    public long[] scanlong { get { return Array.ConvertAll(scan, long.Parse); } }
    public double[] scandouble { get { return Array.ConvertAll(scan, double.Parse); } }
    public string next
    {
        get
        {
            if (i < s.Length) return s[i++];
            string st = ReadLine();
            while (st == "") st = ReadLine();
            s = st.Split(cs, StringSplitOptions.RemoveEmptyEntries);
            i = 0;
            return next;
        }
    }
    public int nextint { get { return int.Parse(next); } }
    public long nextlong { get { return long.Parse(next); } }
    public double nextdouble { get { return double.Parse(next); } }
}