#include <iostream>
#include <cstdio>

using namespace std;

typedef long long LL;

const int N = 1000;

char s[N];

int main() {
	bool ok = true;
	scanf("%s", s);
	int n = strlen(s);
	for (int i = 0; i < n; i++) {
		if (s[i] == '7') {
			printf("Yes");
			return 0;
		}
	}
	puts("No");
	return 0;
}