#include <bits/stdc++.h>
using namespace std ;
using ll = long long ;
using ld =long double ;
class date{
private :
    int day, month , year;
public:
    date(){
        day=0 ;
        month=1;
        year=2000;
    }
    date(int day ,int month ,int year){
         setday(day);
         setmonth(month);
         setyear(year);
    }
    void setday(int day){
        if (day>=1 && day <=30) this->day=day ;
        else
            assert(false);
    }
    int getday(){
        return day ;
    }
    void setmonth(int month){
        if(month >= 1 && month <=30)  this->month = month ;
        else
          assert(false);
    }
    int getmonth(){
        return month ;
    }
    void setyear(int year){
        if (year >= 2000 && year<=2020) this->year=year;
        else
            assert(false);
    }
    string Getdate(){
      return to_string(day) + "/" + to_string(month) + "/" + to_string(year);
    }
};
class book:public date{
private:
    string name ,numper ;
    double price ;
    double totalCost;
    int numpercopis ;
    double calculatetotal(){
       totalCost =price * numpercopis ;
        return totalCost ;
    }
    book(){
      name =" ";
      numper=" ";
      price =0 ;
      totalCost =0 ;
      numpercopis =0;
    }


};
int main(){
  string a;
  cin >> a;
  bool r=false ;
  for (int i=0 ;i<a.size();i++){
    if (a[i]=='7'){
       r=true ;
       break ;
    }
  }
    if (r) cout << "Yes";
    else
        cout << "No";




return 0 ;
}
