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) {
			if (s.matches("[67]")==false) {return false;}
		}
		else {
			for (int i=0; i<s.length(); i++) {
				if (i==0) {
					if (s.charAt(0)!='1') {return false;}
				}
				else if (i==s.length()-1) {
					char c = s.charAt(s.length()-1);
					if (c!='2' && c!='3' && c!='4') {return false;}
				}
				else {
					char c = s.charAt(i);
					if (c!='3' && c!='4' && c!='5') {return false;}
				}
			}
		}
		return true;
	}
}