#include <bits/stdc++.h>

using namespace std;

int main()
{
	int n;
	scanf("%d",&n);
	bool ok = 0;
	while(n > 0)
	{
		if (n%10 == 7) ok = 1;
		n/=10;
	}
	if (ok) printf("Yes\n");
	else printf("No\n");
	return 0;
}
