#include<iostream>
using namespace std;
int main(){
    int n;
    cin>>n;
    int rem,flag;
    while(n>0){
        rem=n%10;
        if(rem==7){
            flag=0;
            cout<<"Yes";
            break;

        }
        else flag=1;
        n/=10;
    }
    if(flag==1) cout<<"No";

}
