#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N = 5e2+5;
const ll INF = 2e18;

int main()
{
	int n;
	cin >> n;
	bool f = 0;
	while(n){
		int t = n%10;
		if(t == 7) f = 1;
		n /= 10;
	}
	printf("%s",f ?"Yes" :"No");
	return 0;
}
