#include <bits/stdc++.h>
using namespace std;
int main (){
  int i;
  string s;
  cin>>s;
  int x=0;
  for(i=0;i<s.length();i++){
    if(s[i]=='7')
    x++;
  }
  if(x>0)
  cout<<"Yes"<<endl;
  else
  {
    cout<<"No"<<endl;
  }
  
  return 0;
}