//2つのラッキーナンバーを上の桁から決めていく桁DP
//（0はラッキーナンバーではありません）←このあと、めちゃくちゃWrongAnswerした
#include <iostream>
#include <string>
#define rep(i, n) for(i = 0; i < n; i++)
using namespace std;

string p;
bool dp[20001][2][3];	//dp[i][j][k] = 今までにi桁見ていて, 余りがj, k:0を追加できないラッキーナンバーの個数
int wa[6] = {0, 6, 7, 12, 13, 14};	//wa = {0, 6, 7} + {0, 6, 7}の集合
int ng[6] = {0, 1, 1, 2, 2, 2};
int offset[3] = {0, 1, 3};

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