#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
typedef long long ll;

char s[10];

int main(void)
{
	scanf("%s",s+1);
	for(int i=1; i<=3; ++i)
	{
		if(s[i]=='7')
		{
			printf("Yes");
			return 0;
		}
	}
	printf("No");
	return 0;
}