#include<bits/stdc++.h>
using namespace std;
char ch[5];

int main(){
	cin>>ch;int fg=0;
	for(int i=0;i<3;++i){
		if(ch[i]-'0'==7){
			puts("Yes");fg=1;
			break;
		}
	}
	if(!fg)puts("No");
	return 0;
}