#include<bits/stdc++.h>
using namespace std;
int n;
int main()
{
	scanf("%d",&n);
	int i=1,p=1;
	while(i<=5)
	{
		int tmp=n%(p*10);
		tmp/=p;
		if(tmp==7)
		{
			printf("Yes\n");
			return 0;
		}
		++i;
	}
	printf("No\n");
	return 0;
}