#include<bits/stdc++.h>
using namespace std;
#define gcd(a,b) __gcd(a,b)
#define pb push_back
#define sevensins ios_base::sync_with_stdio(false);cin.tie(NULL);
#define ll long long int
#define mod  1000000007
#define vect vector<long long int>
#define bins binary_search
#define vecti vector<int>::iterator
#define bitout __builtin_popcount
#define binsrch binary_search
int main() 
{sevensins
ll t,i,j,k,l,n,flag=0;
string s;
cin>>s;
for(i=0;i<s.size();i++)
{
    if(int(s[i])-48==7)
    flag=1;
}

if(flag==1)
cout<<"YES\n";
else
cout<<"NO\n";

return 0;
}
