$ echo "12345 (Gray) 6789 (Red)" |  ./red.pl
12345:Gray:6789
$ echo "12345 (Gray) 6789 Red" |  ./red.pl
12345:Gray:6789
$ echo "12345Gray6789Red" |  ./red.pl
12345:Gray:6789