#include <bits/stdc++.h>
using namespace std;
using G=vector<vector<int>>;
typedef long long ll;
#define rep(i,l,r) for(int i=(l);i<(r);++i)

int main(){
	string s; cin>>s;
	if(s[0]=='4'||s[0]=='5') cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
}