#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int (i)=0;(i)<(n);(i)++)

int main() {
    long n;
    cin >> n;
    int tmp;
    for(;;){
        tmp=n%10;
        if(tmp==7){
            cout<<"Yes";
            return 0;
        }
        n=n/10;        
        if(n==0){
            cout << "No";
            return 0;
        }
    }
    return 0;
}