#include <iostream>
using namespace std;
/*void fast(){
cin.tie(0);
cin.sync_with_stdio(0);
}*/
int main()
{
    //fast();
    int n;
    cin>>n;
   for(int i=0;i<7;i++)
   {
       if (n%10==7){cout<<"YES";return 0;}
       n/=10;
   }
   cout<<"NO";
return 0;
}
