#include<iostream>
using namespace std;
string p;
bool flag[20202];
main()
{
	cin>>p;
	flag[0]=true;
	for(int i=0;i<p.size();i++)
	{
		flag[i+1]=flag[i]&&'6'<=p[i]&&p[i]<='7';
	}
	bool cf='2'<=p.back()&&p.back()<='4';
	for(int i=(int)p.size()-2;i>=0;i--)
	{
		p[i]--;
		if(flag[i]&&cf&&(i==0&&p[i]=='0'||'6'<=p[i]&&p[i]<='7'))
		{
			cout<<"Yes"<<endl;
			return 0;
		}
		cf=cf&&'2'<=p[i]&&p[i]<='4';
	}
	cout<<"No"<<endl;
}