#include <iostream>
#include <algorithm>
#include <string>
using namespace std;

string s;

int to_n(char c)
{
	return c - '0';
}

int main()
{
	cin >> s;

	reverse(s.begin(),s.end());

	// 6 + 6 , 6 + 7 , 7 + 7
	if(2 <= to_n(s[0]) && to_n(s[0]) <= 4)
	{
	}
	else
	{
		cout << "No" << endl;
		return 0;
	}

	int i = 1;

	for(;i < s.size();i++)
	{
		if(3 <= to_n(s[i]) && to_n(s[i]) <= 5)
		{
		}
		else
		{
			break;
		}
	}

	if(i == s.size() - 1 && (1 == to_n(s[i])))
	{
		cout << "Yes" << endl;
		return 0;
	}
	if(i < s.size() && (7 == to_n(s[i]) || 8 == to_n(s[i])))
	{
		i++;
		for(;i < s.size();i++)
		{

			if(6<= to_n(s[i]) && to_n(s[i]) <= 7)
			{
			}
			else
			{
				cout << "No" << endl;
				return 0;
			}
		}
		cout << "Yes" << endl;
		return 0;

	}

	cout << "No" << endl;
	return 0;
}