#include <stdio.h>
int main()
{
	int a,b=0;
	scanf("%d",&a);
	for(int i=0;i<3;i++)
	{
		if(a%10==7)b=1;
		else 
		{
			a=a/10;
		}
		if(b==1)break;
	}
	if(b==1)printf("Yes");
	else if(b==0)printf("No");
	return 0;
}