import java.util.*;
public class Main {
	static Scanner sc = new Scanner(System.in);
	public static void main(String[] args) {
		String s = sc.next();
		System.out.println(judge(s)==true?"Yes":"No");
	}
	
	static boolean judge (String s) {
		//ケツは２～４、これは確定
		//
		
		if (s.length()==1) {
			return false;
		}
		else if (s.length()==2) {
			if (s.equals("12")==false || s.equals("13")==false ||s.equals("14")==false) {
				return false;
			}
		}
		else {
			char c = s.charAt(0);
			if (c!='1' && c!='6' && c!='7' && c!='8') {return false;}
			c = s.charAt(s.length()-1);
			if (c!='2' && c!='3' && c!='4') {return false;}
			
			//先頭が1の場合
			if (s.charAt(0)=='1') {
				for (int i=1; i<s.length()-1; i++) {
					c = s.charAt(i);
					if (c!='3' || c!='4' || c!='5') {return false;}
				}
				return true;
			}
			
			//先頭が6か7の場合
			else if (s.charAt(0)=='6' || s.charAt(0)=='7') {
				s = s.substring(0,s.length()-1);
				s = s.replaceAll("[345]","");
				String[] ar = {"1","2","3","4","5","9","0"};
				for (int i=0; i<ar.length; i++) {
					if (s.contains(ar[i])) {return false;}
				}
				//もし8が含まれているならそれはただ一つであり一番右側か？
				if (s.contains("8")) {
					for (int i=0; i<s.length(); i++) {
						if (i!=s.length()-1) {
							if (s.charAt(i)=='8') {return false;}
						}
					}
				}
				s = s.replaceAll("[678]","");
				if (s.equals("")==false) {return false;}
			}
		}
		return true;
	}
}