#include <bits/stdc++.h>
using namespace std;

int main()
{
  int n,a[10];
  cin>>n;
  for(int i=0;n!=0;i++)
  {
    int r=n%10;
    n=n/10;
    a[i]=r;
  }
   
    if(a[0]==7 || a[1]==7 || a[1]==7)
    {
      cout<<"Yes"<<endl;
    }
   	else
    {
      cout<<"No"<<endl;
    }
  
  
  
  
  return 0;
}
