#include<stdio.h>
int main()
{
    int a,
    char s[101];
    // 整数の入力
    scanf("%d", &a);
    // 文字列の入力
    scanf("%s",s);
    // 出力
  	if (a >= 3200){
	    printf("%s",s);
    }else{
      printf('red');
    }
    return 0;
}