#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <cmath>
#include <map>
#include <numeric>
using namespace std;
typedef long long ll;

int main(){
    string s;cin>>s;
    for(char x:s){
        if(x=='7'){cout<<"Yes";return 0;}
    }
    cout<<"No";
}