#include <iostream>
#include <vector>
#include <math.h>
#include <map>
using namespace std;

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

    int find=0;
    for(int i=0; i<3; i++) {
        if(N[i]=='7') find=1;
    }
    if(find) cout<<"Yes"<<endl;
    else cout<<"No"<<endl;

    return 0;
}