import std.stdio;
import std.range;
import std.array;
import std.string;
import std.conv;
import std.typecons;
import std.algorithm;
import std.container;
import std.typecons;
import std.random;
import core.time;

void main()
{
	auto p = readln.chomp.retro.map!(c => c - '0').array;
	if (p.length == 1) {
		writeln = "No";
		return;
	}
	int kuriage = 0;
	foreach (d; p[0..$-1]) {
		enum AVE = [6, 7];
		int ans = -1;
		foreach (a; AVE) {
			foreach (b; AVE) {
				if ((a + b + kuriage) % 10 == d) {
					ans = a + b;
				}
			}
		}
		if (ans == -1) {
			writeln = "No";
			return;
		}
		kuriage = ans / 10;
	}
	writeln = kuriage == p[$-1] ? "Yes" : "No";
}