HASH(0x7fedef8376e0)