HASH(0x7f5ceaaa80d8)