#define _USE_MATH_DEFINES
#pragma region include
#include <iostream>
#include <iomanip>
#include <stdio.h>

#include <sstream>
#include <algorithm>
#include <iterator>
#include <cmath>
#include <complex>

#include <string>
#include <cstring>
#include <vector>
#include <bitset>

#include <queue>
#include <set>
#include <map>
#include <stack>
#include <list>

#include <ctime>
#pragma endregion //#include
/////////

#pragma region typedef
typedef long long LL;
typedef long double LD;
typedef unsigned long long ULL;
#pragma endregion //typedef
////定数
const int INF = (int)1e9;
const LL MOD = (LL)1e9+7;
const LL LINF = (LL)4e18+20;
const LD PI = acos(-1.0);
const double EPS = 1e-9;
/////////
using namespace::std;

void solve(){
	string str;
	cin >> str;
	int size = str.size();
	
	int car = 0;
	int ter = str[size-1]-'0';
	bool flag = true;
	bool two = true;
	for(int i=size-1;i>=0;--i){
		ter = str[i]-'0' - car;
		if( i ){
			if( two ){
				if( 2<=ter && ter<=4 ){
					car = 1;
				}else if(ter==6 || ter==7){
					car = 0;
					two = false;
				}else{
					flag = false;
					break;
				}
			}else{
				if(ter==6 || ter==7 ){
					car = 0;
				}else{
					flag = false;
					break;
				}
			}
		}else{
			if( ter==0||ter==6||ter==7 ){
			}else{
				flag = false;
			}
		}
	}

	cout << (flag?"Yes":"No") << endl;
}
#pragma region main
signed main(void){
	std::cin.tie(0);
	std::ios::sync_with_stdio(false);
	std::cout << std::fixed;//小数を10進数表示
	cout << setprecision(16);//小数点以下の桁数を指定//coutとcerrで別	

	solve();
}
#pragma endregion //main()