#include <iostream>
#include <string>
#include <algorithm>
#include <vector>
#include <iomanip>
#include <cmath>
#include <stdio.h>
#include <queue>
#include <deque>
#include <cstdio>
#include <set>
#include <map>
#include <bitset>
#include <stack>
#include <cctype>
using namespace std;
int main() {
	string s;
	cin >> s;
	int n = s.size();
	if (n == 1) {
		cout << "No" << endl;
		return 0;
	}
	if (s[n - 1] >= '2' && s[n - 1] <= '4') {
		s[n - 2]--;
	}
	bool h = false;
	for (int i = n - 2; i > 0; i--) {
		if (!h) {
			if (s[i] >= '2' && s[i] <= '4') {
				s[i - 1]--;
			}
			else if (s[i] == '6' || s[i] == '7') {
				h = true;
			}
			else {
				cout << "No" << endl;
				return 0;
			}
		}
		else {
			if (s[i] != '6' && s[i] != '7') {
				cout << "No" << endl;
				return 0;
			}
		}
	}
	if (!h) {
		if (s[0] == '0') {
			cout << "Yes" << endl;
			return 0;
		}
	}
	if (s[0] == '6' || s[0] == '7') {
		cout << "Yes" << endl;
	}
	else {
		cout << "No" << endl;
	}
	return 0;
}