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

typedef long long int ll;

int main()
{
	ll n;
	scanf("%lld",&n);
	ll a=n%10;
	ll b=n/100;
	n=n/10;
	ll c=n/10;
	if(a==7 || b==7 || c==7)
		printf("Yes\n");
	else
		printf("No\n");
}
