HASH(0x7f5cb80ea1b8)