#include <bits/stdc++.h>
using namespace std;

int main() {
    int n;
    cin >> n;
    int first = n / 100;
    int second = n % 100 / 10;
    int third = n % 10;
    if (first == 7 || second == 7 || third == 7)  cout << "Yes";
    else  cout << "No";
  
    return 0;
}