#include<bits/stdc++.h>
#define ll long long

using namespace std;



	

int main()
{
	ios_base::sync_with_stdio(false); 
    cin.tie(NULL);    

	int n;cin>>n;
	while(n)
	{
		if(n % 10 == 7)
		{
			cout<<"YES";
			break;
		}
		n /= 10;
		
	
	}

	if(n == 0)
		cout<<"NO";
	
	return 0;
	
}
