#include<bits/stdc++.h>
using namespace std;
int main()
 {
  int a,b,i,k=0;
  string s;
  cin>>s;
  for(i=0;i<s.size();i++)
    {if(s[i]=='7')k=1;
     }
  if(k==1)cout<<"Yes\n";
  else cout<<"No\n";
  }