var lines = [];
var reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});
reader.on('line', function (line) {
  lines.push(line);
});
process.stdin.on('end', function () {
  const number = lines[0];
  const str = lines[1];
  if (number >= 3200) {
    console.log(str);
  } else {
    console.log('red');
  }
});