#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000001


int main(){
	
	int _t;
	//cin>>_t;
	_t = 1;
	rep(_,_t){
		
		string s;
		cin>>s;
		if(s[0]=='4'||s[0]=='5')cout<<"Yes"<<endl;
		else cout<<"No"<<endl;
		
	}
	
	return 0;
}