int HIGH_INT = 0x8DF5