#include <bits/stdc++.h>
using namespace std;

int main() {
    string N;
    cin >> N;
    int f = 0;
    for(int i = 0; i < N.size(); i++){
        if(N[i] == '4') {
            f |= 1;
        }
        if(N[i] == '6') {
            f |= 2;
        }
    }
    cout << ((f == 3)?"Yes":"No") << endl;
}