#include<bits/stdc++.h>
using namespace std;
int main(){
    int a;
    cin >> a;
    while(a>0){
        if(a%10==7){
            cout << "Yes\n";
            return 0;
        }else{
            a = a/10;
        }
    }
    cout << "No\n";
return 0;
}
