#define  _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <algorithm>
#include <utility>
#include <functional>
#include <cstring>
#include <queue>
#include <stack>
#include <math.h>
#include <iterator>
#include <vector>
#include <string>
#include <set>
#include <math.h>
#include <iostream>
#include<map>
#include <iomanip>
#include <time.h>
#include <stdlib.h>
#include <list>
#include <typeinfo>
#include <list>
#include <set>
#include <cassert>
#include<fstream>
#include <cstdlib>
#define EVAL 1
using namespace std;
#define Ma_PI 3.141592653589793
#define eps 0.000001
#define LONG_INF 3000000000000000000
#define GOLD 1.61803398874989484820458
#define MAX_MOD 1000000007LL
#define REP(i,n) for(long long i = 0;i < n;++i)
#define seg_size 1048576
#define PI 3.1415926535
int main() {
	string s;
	cin >> s;
	int foo = 0;
	for (int i = 0;i < s.length();++i) {
		if (s[i] != '6'&&s[i] != '7') foo = 1;
	}
	if (foo == 0) {
		cout << "No" << endl;
		return 0;
	}
	int kuriagari = 0;
	for (int i = s.length() - 1;i >= 0;--i) {
		int poo = s[i] - '0';
		poo -= kuriagari;
		kuriagari = 0;
		poo %= 10;
		if (poo == 6 || poo == 7) {
			kuriagari = 0;
		}
		else {
			if (poo == 2 || poo == 3 || poo == 4) {
				kuriagari = 1;
			}
			else if(poo != 0||i != 0){
				cout << "No" << endl;
				return 0;
			}
		}
	}
	if (kuriagari == 0) {
		cout << "Yes" << endl;
		return 0;
	}
	else {
		cout << "No" << endl;
		return 0;
	}
}