"RED"@cs . "REDCODE"@cs .