#include<bits/stdc++.h>
using namespace std;
int main(){
  int n;
  cin>>n;
  int a,b,c;
  a=n%10;
  b=((n-a)%100)/10;
  c=((n-a-b)%1000)/100;
  if(a==7||b==7||c==7){
cout<<"Yes";
  }
else{
cout<<"No";
}
}
  