import java.util.Scanner;

public class Main {
	public static void main(String[] args) {
        // 標準入力から読み込む際に、Scannerオブジェクトを使う。
        Scanner sc = new Scanner(System.in);

        String p = sc.next();
        StringBuffer buf = new StringBuffer(p);
        String revStr = buf.reverse().toString(); // pを反転

        String x = "";
        String y = "";
        for(int i = 0; i < revStr.length(); i++){
        	if(i == 0){
        		if(revStr.substring(i, i + 1).contains("2")){
        			x += "6";
        			y += "6";
        		}else if(revStr.substring(i, i + 1).contains("3")){
        			x += "7";
        			y += "6";
        		}else if(revStr.substring(i, i + 1).contains("4")){
        			x += "7";
        			y += "7";
        		}else{
        			System.out.println("No");
        			return;
        		}
        	}else if(i > 0){
        		if(revStr.substring(i, i + 1).contains("8")){
        			x += "7";
        		}else if(revStr.substring(i, i + 1).contains("7")){
        			x += "6";
        		}else if(revStr.substring(i, i + 1).contains("5")){
        			x += "7";
        			y += "7";
        		}else if(revStr.substring(i, i + 1).contains("4")){
        			x += "7";
        			y += "6";
        		}else if(revStr.substring(i, i + 1).contains("3")){
        			x += "6";
        			y += "6";
        		}else if(revStr.substring(i, i + 1).contains("1")){
        		}else{
        			System.out.println("No");
        			return;
        		}
        	}

        }
// 検証用
//		System.out.println(x);
//		System.out.println(y);

		System.out.println("Yes");
    }
}