/* -*- coding: utf-8 -*- * * 558.cc: No.558 575検出するやつ - yukicoder */ #include<cstdio> #include<cstdlib> #include<cstring> #include<cmath> #include<iostream> #include<string> #include<vector> #include<map> #include<set> #include<stack> #include<list> #include<queue> #include<deque> #include<algorithm> #include<numeric> #include<utility> #include<complex> #include<functional> using namespace std; /* constant */ /* typedef */ /* global variables */ /* subroutines */ /* main */ int main() { string s; cin >> s; if (s.find("575") != string::npos) puts("YES"); else puts("NO"); return 0; }