HASH(0x7fede4592110)