HASH(0x7fee3002d820)