#include <iostream>
#include <vector>
#include <algorithm>
#define rep(i, n) for(int i = 0; i < n; i++)
using namespace std;
typedef long long ll;

int minNumCoin[50050];

int main(void)
{
    string s;
    cin >> s;
    bool flag = false;
    rep(i, s.size()) if(s[i] == '7') flag = true;
   
    (flag)?puts("Yes"):puts("No");
    return 0;
}