
#include<stdio.h>
int main()
{
	speed;
	int n;
	scanf("%d", &n);
	bool flag = false;
	while(n)
	{
		if(n%10==7)
		{
			flag = true;
			break;
		}
		n/=10;
	}
if(flag)
	printf("Yes");
else
	printf("No");
	return 0;
}
