#include<bits/stdc++.h>
using namespace std;
int main(){
string s;
cin>>s;
int j=0;
for(int i=0;i<s.size();i++){
    if(s[i]=='7'){
        j=1;
        break;
    }
}
if(j==1){
  cout<<"Yes"<<endl;
}
else if(j==0){
   cout<<"No"<<endl;
}
}
