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