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

typedef long long ll;

int main(){
    int n;
    bool b = false;
    cin>>n;
    for(int i=0; i<3;i++){
        if(n%10==7) b = true;
        n /= 10;
    }
    if(b) cout<<"Yes"<<endl;
    else cout <<"No"<<endl;
}

