#include <bits/stdc++.h>
using namespace std;
 
int main() {
    string a;
    cin>>a;
    int b=0;
    for(int i=0;i<3;i++){
        if(a.at(i)=='7'){
            b++;
        }
    }
    if(b>=1){
        cout<<"Yes"<<endl;

    }
    else{
        cout<<"No"<<endl;
    }
}