int RED_BITS = 0x0D52