//2つのラッキーナンバーを上の桁から決めていく桁DP
#include <iostream>
#include <string>
#define rep(i, n) for(i = 0; i < n; i++)
using namespace std;

string p;
bool dp[20001][2];	//dp[i][j] = 今までにi桁見ていて, 余りがj
int wa[6] = {0, 6, 7, 12, 13, 14};	//wa = {0, 6, 7} + {0, 6, 7}の集合

int main() {
	int i, j, k;
	
	cin >> p;
	
	dp[0][0] = true;
	rep(i, p.size()) {
		rep(j, 2) {
			if (!dp[i][j]) continue;
			int v = 10 * j + (p[i] - '0');
			rep(k, 6) {
				if (v - wa[k] != 0 && v - wa[k] != 1) continue;
				dp[i + 1][v - wa[k]] = true;
			}
		}
	}
	if (dp[p.size()][0]) cout << "Yes" << endl;
	else cout << "No" << endl;
	return 0;
}