#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int t, n;
string s;
int main(){
	cin >>s;
	int ok = 0;
	for(int i = 0; i < s.length() &&!ok; i++){
		if(s[i] == '7')
			ok = 1;
	}
	if(ok)
		cout << "Yes\n";
	else
		cout << "No\n";
	return 0;
}