//for(int i=0;i<n;i++)cin>>arr[i];
//for(int i=0;i<n;i++)cout<<arr[i]<<" ";

#include <bits/stdc++.h>
#include <algorithm>
using namespace std;
int main()
{
  int n;
  cin>>n;
  for(int i=0;i<3;i++)
  {
      n=n%10;
      if(n==7){cout<<"Yes";return 0;}
  }
  cout<<"No";
  return 0;
}