#include <iostream>
#include <set>
#include <vector>
#include <map>
#include <algorithm>
#include <cmath>
#include <list>
#include <utility>
using namespace std;

int main(){
    string s;
    cin>> s;

    int i = s.length(), j=0;
    for(char x:s){
            if(x=='7'){cout<<"Yes"<<endl;}
            else{j+= 1;};}
    if(j==i){cout<<"No"<<endl;}
    return 0;}
