#include<bits/stdc++.h>
using namespace std;
int main()
{
  int n,flag=0;
  cin>>n;
  while(n>0)
  {
    int r=n%10;
    if(r==7)
    {
      flag=1;
      break;
    }
    n=n/10;
  }
  if(flag)
    cout<<"Yes\n";
  else
    cout<<"No\n";
  return 0;
}
