#include #define IOS ios::sync_with_stdio(0); cin.tie(0); cout.tie(0); #define endl "\n" #define rep(i, n) for(int i = 0; i < (int)(n); i++) #define rrep(i, n) for(int i = ((int)(n)-1); i >= 0; i--) #define all(x) (x).begin(),(x).end() using namespace std; using ll = long long; typedef vector vi; typedef vector vvi; typedef pair P; const int INF = 1e9; //const ll INF = 1e18; const double EPS = 1e-10; const int MOD = 1e9+7; const double PI = acos(-1.0); int main() { string s; cin >> s; int flag = 0; for(int i = 0; i < (int)s.size()-2; i++){ if(s.substr(i,3) == "575") flag = 1; } cout << (flag ? "YES" : "NO") << endl; return 0; }