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

int32_t main(){
    ios_base::sync_with_stdio(false);cin.tie(0);
    string s;
    cin>>s;
    for(int x=0;x<s.length();x++){
      if(s[x]=='7'){
        cout<<"Yes\n";
        return 0;
      }
    }
    cout<<"No\n";
    return 0;
}
/*

*/
