<?php
while ($line = fgets(STDIN)) {
 $array[] = trim($line);
}
$a = $array[0];
$b = $array[1];

          if((2800 <= $a)&&(5000 > $a)){
            if($a <= 3200){
              echo "red";
            }else{
              echo $b;
            
            }
          }
?>
