#include <iostream>
#include <string>
using namespace std;
int main(int argc, char const *argv[]) {
  string n;
  cin>>n;
  if(n[2]=='7') cout<<"Yes"<<endl;
  else if(n[1]=='7') cout<<"Yes"<<endl;
  else if(n[0]=='7') cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
  return 0;
}
