#include <bits/stdc++.h>
using namespace std;
 
int main() {
    string N;
    cin >>N;
    string res = "No";
    if(N[0] == '7') res = "Yes";
    if(N[1] == '7') res = "Yes";
    if(N[2] == '7') res = "Yes";
    
    cout << res << endl;
    return 0;
}