HASH(0x7fedfe601e88)