#include<iostream>
using namespace std;
int main()
{
  int n;
  cin>>n;
  int flag=0;
  while(n>0)
  {
    if(n%10==7)
      flag=1;
    n/=10;
  }
  if(flag)
    cout<<"YES\n";
  else
    cout<<"NO\n";
}