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