#include<bits/stdc++.h>
using namespace std;
int main()
{
     string s;
      cin>>s;
  if(s[0]=='7'||s[1]=='7'||s[2]=='7')
      cout<<"Yes"<<endl;
  else
      cout<<"NO"<<endl;
  return 0;
}
     