#include<iostream>
using namespace std;

int main(){
    char N[3];
    int count=0;
    cin >> N;
    for(int i=0;i<3;i++){
        if(N[i]=='7'){
            count++;
        }
    }
    if(count==0){
        cout << "No" << endl;
    }else{
        cout << "Yes" << endl;
    }

}