HASH(0x7fedde5e61c0)