import java.io.BufferedReader;
import java.io.Closeable;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.util.Arrays;
import java.util.LinkedList;
import java.util.StringTokenizer;
 
public class Main {
	
	public static final long INF = Long.MAX_VALUE / 2 -1;
	
	public static void main(String[] args) throws IOException {
		try (Scanner sc = new Scanner(System.in)) {
			char[] ins = sc.next().toCharArray();

			final int N = ins.length;
			int[] nums = new int[N];
			for(int i = 0; i < N; i++){
				nums[i] = Character.getNumericValue(ins[i]);
			}
			
			// same_length
			SAME:
			while(true){
				if(nums[N - 1] != 2 && nums[N - 1] != 3 && nums[N - 1] != 4){ break SAME; }
				if(nums[0] != 1){ break SAME; }
				for(int i = 1; i < N - 1; i++){
					if(nums[i] != 3 && nums[i] != 4 && nums[i] != 5){ break SAME; }
				}
				
				System.out.println("Yes"); return;
			}
		
			LOOP:
			for(int zero_start = N - 2; zero_start >= 0; zero_start--){
				if(nums[N - 1] != 2 && nums[N - 1] != 3 && nums[N - 1] != 4){ continue LOOP; }
				
				for(int i = N - 2; i > zero_start; i--){
					if(nums[i] != 3 && nums[i] != 4 && nums[i] != 5){ continue LOOP; }
				}
				if(nums[zero_start] != 7 && nums[zero_start] != 8){ continue LOOP; }
				for(int i = zero_start - 1; i >= 0; i--){
					if(nums[i] != 6 && nums[i] != 7){ continue LOOP; }
				}
				
				System.out.println("Yes"); return;
			}
			
			System.out.println("No");
		}
	}
	
	public static class Scanner implements Closeable {
		private BufferedReader br;
		private StringTokenizer tok;
 
		public Scanner(InputStream is) throws IOException {
			br = new BufferedReader(new InputStreamReader(is));
		}
 
		private void getLine() throws IOException {
			while (!hasNext()) {
				tok = new StringTokenizer(br.readLine());
			}
		}
 
		private boolean hasNext() {
			return tok != null && tok.hasMoreTokens();
		}
 
		public String next() throws IOException {
			getLine();
			return tok.nextToken();
		}
 
		public int nextInt() throws IOException {
			return Integer.parseInt(next());
		}
 
		public long nextLong() throws IOException {
			return Long.parseLong(next());
		}
 
		public double nextDouble() throws IOException {
			return Double.parseDouble(next());
		}
 
		public int[] nextIntArray(int n) throws IOException {
			final int[] ret = new int[n];
			for (int i = 0; i < n; i++) {
				ret[i] = this.nextInt();
			}
			return ret;
		}
 
		public long[] nextLongArray(int n) throws IOException {
			final long[] ret = new long[n];
			for (int i = 0; i < n; i++) {
				ret[i] = this.nextLong();
			}
			return ret;
		}
 
		public void close() throws IOException {
			br.close();
		}
	}
}