HASH(0x7fee2cf78d70)