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) {
		"No".writeln;
		return;
	}
	int kuriage = 0;
	bool zero = false;
	foreach (k, d; p) {
		enum AVE = [0, 6, 7];
		int ans = -1;
		for (int i = k == 0; i < 3; ++i) {
			if (i > 0 && zero) {
				continue;
			}
			int a = AVE[i];
			for (int j = k < p.length - 1; j < 3; ++j) {
				int b = AVE[j];
				if ((a + b + kuriage) % 10 == d) {
					ans = a + b;
					zero |= i == 0;
				}
			}
		}
		if (ans == -1) {
			writeln = "No";
			return;
		}
		kuriage = ans / 10;
	}
	writeln = kuriage == 0 ? "Yes" : "No";
}