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

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