#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main()
{
	char a[3];
	int i,flag=0;
	gets(a);
	for(i=0;i<3;i++)
	{
		if(a[i]=='7')
		{
		flag++;
		}
	}
	if(flag==0) printf("No");
	else printf("Yes");
	return 0;
} 