HASH(0x7fedfc0751d0)