#include<bits/stdc++.h>

using namespace std;

#define REP(i,n) for(int i=0;i<n;i++)
#define FOR(i,start,end)for(int i=start;i<end;i++)
#define SORT(v) sort(v.begin(),v.end())
typedef long long ll;

int main()
{
    int n,a,b,c;
    cin>>n;
    if(n/100==7||(n%100)/10==7||n%10==7)
    {
        cout<<"Yes";
    }
    else
    cout<<"No";
    

}
