#include <bits/stdc++.h>
using namespace std;
void test_case(){
	int n;
	cin >> n;
	while(n){
		int digit = n%10;
		if(digit == 7){
			cout << "YES";
			return;
		}
		n /= 10;
	}
	cout << "NO";
	
}
int main(){
	cin.tie(0);
	ios_base::sync_with_stdio(false);
	test_case();
}


