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

int main (){
    int n;
    cin>>n;
    bool flag = false;
    while(n){
        int num = n%10;
        n = n/10;
        if(num == 7){
            flag=true;
            break;
        }
    }

    if(flag){
        cout<<"Yes"<<endl;
    }
    else{
        cout<<"No"<<endl;
    }
}
