HASH(0x7fedde6815d0)