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

int main() {
	int N;
	cin>>N;
	int G=N.size();
	int a=0;
  for(int i=0; i<G; i++){
if(N.at(i)==7){
a+=1;
  }
}
if(a=0)
cout<<"No"<<endl;
else{
	cout<<"Yes"<<endl;
}
}
