HASH(0x7fedf65991c8)