#include<iostream>
using namespace std;
int main(){
  int n;
  cin>>n;
  int flag=0;
  while(n>0){
    if(n%10==7)	flag=1;
    n/=10;
  }
  if(flag) cout<<"Yes"<<endl;
  else	cout<<"No"<<endl;
  return 0;
}