#include <bits/stdc++.h>

using namespace std;

int main() {
	int n;
	int f = 0;
	cin >> n;
	while (n != 0) {
		if (n % 10 == 7) {
			cout << "YES\n";
			f = 1;
			break;
		}
		n /= 10;
	}
	if (f == 0) {
		cout << "NO\n";
	}
	
	
	return 0;
}