#include <map>
#include <set>
#include <list>
#include <cmath>
#include <ctime>
#include <deque>
#include <queue>
#include <stack>
#include <bitset>
#include <cstdio>
#include <limits>
#include <vector>
#include <cstdlib>
#include <numeric>
#include <sstream>
#include <iostream>
#include <algorithm>
#include <functional> 
#include <iomanip>
#include <unordered_map>
#include <memory.h>
#include <unordered_set>
#include <fstream>
#include <random>

using namespace std;

int main(void)
{
	cin.tie(0);
	ios::sync_with_stdio(false);
	
	string s;

	cin >> s;

	if (s[0] != '1')
	{
		cout << "No" << '\n';
		return 0;
	}

	int n = s.length();

	if ((s[n - 1]-'0') <= 1 || (s[n - 1]-'0') >= 5)
	{
		cout << "No" << '\n';
		return 0;
	}
	
	for (int i = n - 2; i > 0; i--)
	{
		//cout << i << ' ' << s[i] << ' ' << s[i] - '0' << '\n';
		if ((s[i]-'0') <= 2 || (s[i]-'0') >= 6)
		{
			cout << "No" << '\n';
			return 0;
		}
	}

	cout << "Yes" << '\n';
	return 0;
}