#include<iostream>
#include <string>
#include<vector>

using namespace std;

int main(){
    string N;
    cin >> N;

    int check =0;

    for(int i=0;i<3;i++){
        int a =N[i];
        if(a==55){check=1;}
    }

    if(check==1)cout << "Yes" << endl;
    if(check==0)cout << "No" << endl;

}