colored printing in zoek.c