function Main(input) {
	input = input.split("\n");
    out = "";
  	if(parseInt(input[0], 10)<3200){
      out = "red";
    }else{
      out = input[1];
    }
	//出力
	console.log('%d\n%s',parseInt(input[0], 10),out);
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));