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

int main(){
    int N;
    cin >> N;
    int A[3];
    int i=0;
    while(N>0){
        A[i] = N%10;
        N /= 10;
        i++;
    }
    int ans =0;
    for(int i=0;i<3;i++){
        if(A[i]==7)  ans++;
    }
    if(ans >0) cout << "Yes"<< endl;
    else cout << "No"<< endl;

}