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

int main(){
	string N;
	cin >> N;
	bool flg = false;
	for(char s: N){
		if(s == '7'){
			flg = true;
			break;
		}
	}
	cout << (flg?"Yes":"No") << endl;

	return 0;	
}