#include <bits/stdc++.h>
#define rep(i,n) for (int i = 0; i < (n); ++i)
using namespace std;
using ll = long long;
using P = pair<int,int>;
#define chmax(x,y) x = max(x,y)
#define chmin(x,y) x = min(x,y)

int main() {
ios::sync_with_stdio(false);
cin.tie(0);

int n;
cin>>n;

while(n>0)
{
    int res=n%10;
    n=n/10;
    if(res==7){
        cout<<"Yes"<<endl;
        return 0;
        }
}
cout<<"No"<<endl;
return 0;
}