#define ll long long
#define INF 99999999
#define rep(i, n) for(int i = 0; i < (int)(n); i++)
#include<bits/stdc++.h>
using namespace std;
int main(void){
    char s[3];
    cin >>s;
    if(s[0] == '7' || s[1] == '7' || s[2] == '7')cout <<"Yes";
    else cout << "No";
    return 0;
}