#include<bits/stdc++.h> 
using namespace std; 
int main()
{
	int n;
	scanf("%d",&n);
	for(int i=0;i<3;++i)
	{
		if(n%10==7)
		{
			printf("YES\n");
			return 0;			
		}
		n=n/10;
	}
	printf("NO\n");
return 0; 
} 
