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


int main()
{


     ios_base::sync_with_stdio(false);
     cin.tie(NULL);
   
    int t=1;
    while(t--)
    {
      
      int count;
      cin>>count;
      int flag=0;
      while(count>0)
      {
        int temp=count%10;
        if(temp==7)
          flag=1;
        count/=10;
      }
      if(flag)cout<<"Yes"<<endl;
      else
        cout<<"No"<<endl;

    }

return 0;

}