#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main() {
  string s;
  cin >> s;
  int f = (int)(s[0]-'7')*(int)(s[1]-'7')*(int)(s[2]-'7');
  if (!f) printf("Yes");
  else printf("No");
  return 0;
}