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

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