HASH(0x7fedfe5cccd0)