#include<iostream>
#include<vector>
#include<algorithm>
#include <string>
#include<cmath>
#include<map>
#include<cstdio>
#include<stack>
#include<queue>

using namespace std;

#define ok printf("ok\n");
#define ok1 printf("ok1\n");
#define ok2 printf("ok2\n");
#define MAX 1000000
#define rep(i,n) for(int i=0;i<n;i++)
#define REP(i,s,n) for(int i=(s);i<(n);i++)
#define repr(i,n) for(int i=n-1;i>=0;i--)
#define REPR(i,s,n) for(int i=(s);i>=(g);(i)--)
#define all(a) (a).begin(),(a).end()
#define reall(a) (a).rbegin(),(a).rend()
#define pb push_back

typedef vector<int> vi;
typedef vector<string> vs;
typedef long long ll;
typedef vector<ll> vll;
int facctorialMethod(int k);
int gcd(int a, int b);

int main()
{
	string t;
	cin >> t;
	if (t.find("575") !=string::npos)
        puts("Yes");
	return 0;
}