#include <bits/stdc++.h>
using namespace std;
int main(void){
    string s;
    cin>>s;
    if (s.at(0)=='7'||s.at(1)=='7'||s.at(2)=='7') {
        cout<<"Yes"<<endl;
    } else {
        cout<<"No"<<endl;
    }
}
