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

int main() {
  int N,ans=0;
  cin >> N;

  if(N%10==7){
    ans=1;
  }
  if(N/10%10==7){
    ans=1;
  }
  if(N/100==7){
    ans=1;
  }
  if(ans==1) {
    cout<<"Yes"<<endl;
  }else{
    cout<<"No"<<endl;
  }
}
