HASH(0x7fedde54db88)