//O7Oo7oO7O

#include <bits/stdc++.h>

#define IOS ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);

using namespace std;

using ll = long long int;

int main()
{
	IOS
	
    int n;
    cin>>n;
    int flag=0;
    while(n>0)
    {
    	if(n%10==7)
    		flag=1;
    	n/=10;

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

    return 0;
}

