function main(input) {
   input = input.trim();
  const ans = input.split("\n");
  const a = ans[0].split(" ").map(Number);
  console.log(a[0]>=3200 ? ans[1] : "red");
  
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));