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




int main(){
    long long int t;
    cin>>t;
    int cnt;
    while(t){
        cnt=t%10;
        t=t/10;
        if(cnt==7){cout<<"Yes";
        return 0;}
    }
    cout<<"No";
    return 0;
}