#include<bits/stdc++.h>
using namespace std;
int main()
{
    string s;
    cin >> s;
    if( (s.find('4')!=string::npos) || ( s.find('5')!=string::npos ))
    cout << "Yes" <<"\n";
    else
    cout << "No" <<"\n";
return 0;
}