#include <bits/stdc++.h>
#include <atcoder/modint.hpp>
using namespace std;

using i32 = int;
using i64 = long long;
using i128 = __int128_t;
using f64 = double;
using p2 = pair<i64, i64>;
using p3 = tuple<i64, i64, i64>;
using mint = atcoder::modint998244353;
constexpr i64 inf = 1e18;

void _main();
int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);
  cout << fixed << setprecision(18);
  _main();
}

void _main() {
  i64 y, n;
  cin >> y >> n;
  for (i64 i = 0; i < n; i++) {
    i64 x;
    cin >> x;
    y -= x;
  }
  if (y < 0) {
    cout << "red\n";
    return;
  }
  cout << y << "\n";
}