<?php                                                                                                                                                          
                                                                                                                                                               
function fget_array()                                                                                                                                          
{                                                                                                                                                              
    return explode(' ', trim(fgetc(STDIN)));                                                                                                                   
}                                                                                                                                                              
                                                                                                                                                               
[$num] = fget_array();                                                                                                                                         
[$str] = fget_array();                                                                                                                                         
                                                                                                                                                               
echo $num < 3200 ? 'red' : $str;