#include<iostream>
#include<cstdio>
#include<sstream>
#include<string>
#include<vector>
#include<algorithm>
#include<queue>
#include<map>
#include<cstring>
using namespace std;
typedef unsigned long long ull;
typedef long long ll;
const int N = 1005;
const int inf = 0x3f3f3f3f;
int main()
{
	int a,f=0;
	cin>>a;
	while(a)
	{
		if(a%10==7)f=1;
		a/=10;
	}
	if(f)cout<<"Yes";
	else cout<<"No";
	return 0;
}