#include <bits/stdc++.h>
#define pb push_back
using namespace std;

inline int read()
{
	int sum=0,ff=1; char ch=getchar();
	while(!isdigit(ch))
	{
		if(ch=='-') ff=-1;
		ch=getchar();
	}
	while(isdigit(ch))
		sum=sum*10+(ch^48),ch=getchar();
	return sum*ff;
}

char ch[100001];

int mian()
{
	scanf("%s",ch+1);
	for ( int i=1;i<=strlen(ch+1);i++ )
		if((ch[i]^48)==7) 
			return printf("Yes\n"),0;
	printf("No\n");
}

