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

int main() {
  int n;
  cin>>n;
  int x=n;
  int a=0;
  while(x){
    a=x%10;
    if(a=7){
      cout<<"Yes"<<endl;
      break;}
      x/10;
  }
  cout<<"No"<<endl;
}
