#include<bits/stdc++.h>
#define For(i,a,b) for(register int i=(a);i<=(b);++i)
#define rep(i,a,b) for(register int i=(a);i>=(b);--i)
using namespace std;

char s[3];

int main() {
	cin >> s;
	for(int i=0;i<3;++i)
		if (s[i] == '7') {
			printf("Yes");
			return 0;
		}
	printf("No");
	return 0;
}