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