#include #include #include #include #include #include #include #include #include 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=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 vi; typedef vector vs; typedef long long ll; typedef vector 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; }