#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;

int main() {
  int A, B, C, D, E, F, G, X;
  cin >> A >> B >> C >> D >> E >> F >> G;
  X = G / 500;
  G -= 500 * min(X, A);
  X = G / 100;
  G -= 100 * min(X, B);
  X = G / 50;
  G -= 50 * min(X, C);
  X = G / 10;
  G -= 10 * min(X, D);
  X = G / 5;
  G -= 5 * min(X, E);
  X = G;
  G -= min(X, F);
  cout << (G == 0 ? "YES": "NO") << endl;
  return 0;
}