HASH(0x7fedda58fdb0)