#include <bits/stdc++.h>
using namespace std;

int main() {
	long n,m,i,j,k,ans,cur,res;
	string s;
	cin >> s;
	for(i=0; i<3; i++){
		if(s[i]=='7'){
			cout << "Yes" << endl; return 0;
		}
	}
	cout << "No" << endl;
	return 0;
}