#include<iostream>
#define rep(i,n) for(int i=0;i<(int) (n);i++)
using namespace std;
int main(){
  int n,f=0;
  cin>>n;
  rep(i,3){
    if(n%10==7)f=1;
    n%=10;
  }

  if(f==1)cout<<"Yes";
  else cout<<"No";
  return 0;
}
