function Main(input) {
	var data = input.split("\n");
	var n = parseInt(data[0], 10);
	console.log((n>=3200)?data[1]:'red')
}
 
// Don't edit this line!
Main(require("fs").readFileSync("/dev/stdin", "utf8"));