#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"); else puts("NO"); return 0; }