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();
			
			int[] nums = new int[ins.length];
			for(int i = 0; i < ins.length; i++){
				nums[i] = Character.getNumericValue(ins[i]);
			}
			
			for(int i = nums.length - 1; i >= 0; i--){
				if(nums[i] == 2){ // 6 -> 6
					if(i != 0){nums[i - 1]--; } 
					else{ System.out.println("No"); return; }
				}else if(nums[i] == 3){ // 6 -> 7, 7 -> 6
					if(i != 0){nums[i - 1]--; } 
					else{ System.out.println("No"); return; }
				}else if(nums[i] == 4){ // 7 -> 7
					if(i != 0){nums[i - 1]--; } 
					else{ System.out.println("No"); return; }
				}else if(nums[i] == 0){
					if(i == 0){ break; }
					else{ System.out.println("No"); return; }
				}else{
					System.out.println("No"); return;
				}
				
				//System.out.println(Arrays.toString(nums));
			}
			
			System.out.println("Yes");
		}
	}
	
	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();
		}
	}
}