/**
*    author:  Dooloper
*    created: 12.04.2020 20:51:07
**/

#include <iostream>
#include <vector>
#include <map>
#include <string>
#include <utility>
#include <algorithm>

using namespace std;
typedef unsigned long ll;

int main() {
   cin.tie(0);
    int N;cin>>N;
    for(int i = 0; i < 3; i++){
    if(N%10 == 7){
        cout<<"Yes"<<endl;
        return 0;
    }else{
        N -= N%100;
    }
    }
    cout<<"No"<<endl;

   return 0;
}