// Bismillahir Rahmanir Rahim
// AtCoder-

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

int main(){
 string s;  cin>>s;
 for(int i = 0; i < s.size(); ++i){
 	if(s[i]=='7'){
	 cout<<"Yes\n";
	 return 0;
}
}
 cout<<"No\n";
}