#include <bits/stdc++.h>
using namespace std;
int main(){
  string N[3];
  cin>>N;
  if(N.at(0)=7)
    cout<<"Yes"<<endl;
  else if(N.at(1)=7)
    cout<<"Yes"<<endl;
  else if(N.at(2)=7)
    cout<<"Yes"<<endl;
  else
    cout<<"No"<<endl;
}
  