import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.util.*;

public class C {
	static Random rg = new Random();

	public static void main(String[] args) throws IOException {
		MyScanner sc = new MyScanner(System.in);
//		String p = random();
//		System.out.println(p);
		String p = sc.next();
		if(p.length()==1) {
			System.out.println("No");
			return;
		}
		int[] ds = new int[20000];
		for(int i=0; i<p.length(); i++) {
			ds[i] = Character.getNumericValue(p.charAt(p.length()-1-i));
		}
		for(int i=0; i<p.length(); i++) {
			if(i==p.length()-1) {
				if(ds[i]==0 || ds[i]==7 || ds[i]==6) {
					System.out.println("Yes");
					return;
				} else {
					System.out.println("No");
					return;
				}
			}
			if(i==0) {
				if(ds[i]==2||ds[i]==3||ds[i]==4) {
					if(ds[i+1]>=1) {
						ds[i+1]--;
						continue;
					} else {
						System.out.println("No");
						return;
					}
				} else {
					System.out.println("No");
					return;
				}	
			}
			if(ds[i]==2||ds[i]==3||ds[i]==4) {
				if(ds[i+1]>=1) {
					ds[i+1]--;
				} else {
					System.out.println("No");
					return;
				}
			} else if(ds[i]==6||ds[i]==7) {
				for(int j=i; j<p.length(); j++) {
					if(ds[j]!=6&&ds[j]!=7) {
						System.out.println("No");
						return;
					}
				}
				System.out.println("Yes");
				return;
			} else {
				System.out.println("No");
				return;
			}			
		}
	}
	
	static String random() {
		int t1 = rg.nextInt(10);
		long a1 = 7;
		for(int i=0; i<t1; i++) {
			int test = rg.nextInt();
			a1 = a1*10;
			if(test%2==0) {
				a1 += 6;
			} else {
				a1 += 7;
			}
		}
		int t2 = rg.nextInt(10);
		long a2 = 6;
		for(int i=0; i<t2; i++) {
			int test = rg.nextInt();
			a2= a2*10;
			if(test%2==0) {
				a2 += 6;
			} else {
				a2 += 7;
			}
		}
		System.out.println("a1=" + a1 + ",a2="+a2);
		return Long.toString(a1+a2);
	}

	static class MyScanner
	{
		BufferedReader br;
		StringTokenizer st;
		public MyScanner(InputStream s)
		{
			br=new BufferedReader(new InputStreamReader(s));
		}
		public String nextLine() throws IOException
		{
			return br.readLine();
		}
		public String next() throws IOException
		{
			while(st==null || !st.hasMoreTokens())
				st=new StringTokenizer(br.readLine());
			return st.nextToken();
		}
		public int nextInt() throws IOException
		{
			return Integer.parseInt(next());
			
		}
		public double nextDouble() throws IOException
		{
			return Double.parseDouble(next());
		}
		public boolean ready() throws IOException
		{
			return br.ready();
		}
		public long nextLong() throws IOException
		{
			return Long.parseLong(next());
		}
	}
}