#include <bits/stdc++.h>
#define REP(i, a, b) for (long long i = a; i <= b; ++i)
using namespace std;

string s;

inline void work(){
	cin >> s;
	REP(i, 0, s.size() - 1)
		if (s[i] == '7'){
			puts("Yes");
			exit(0);
		}
	puts("No");
}

int main(){
	work();
	return 0;
}