HASH(0x7fedbc527150)