HASH(0x7fedf001f308)