#include <bits/stdc++.h>
#define rep(i,n) for(int i=(0);i<(n);i++)

using namespace std;

typedef long long ll;

int main(){
	cin.tie(0);
	ios::sync_with_stdio(false);

	string s;
	cin >> s;

	if(s[0] == '7' || s[1] == '7' || s[2] == '7'){
		cout << "Yes" << endl;
	}else{
		cout << "No" << endl;
	}
}
