#include<bits/stdc++.h>
#define pb push_back
#define fi first
#define se second
#define mp make_pair
#define all(v) v.begin(), v.end()

using namespace std;
typedef long long LL;
const LL MOD = 1e9 + 7;
const double PI = 2 * acos(0);

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