function main(input) {
  const args = input.split("\n");
  const a = args[0];
  const b = args[1];
  const ans = a >= 3200 ? b : "red";
  console.log(ans);
}

main(require("fs").readFileSync("/dev/stdin", "utf8"));
